Predicative programming — A survey

Formal Methods in Programming and Their Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0039697 ◽

2006 ◽

pp. 8-25 ◽

Cited By ~ 3

Author(s):

Jim Grundy

Keyword(s):

Predicative Programming

Download Full-text

A calculus for predicative programming

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/3-540-56625-2_20 ◽

1993 ◽

pp. 302-322 ◽

Cited By ~ 8

Author(s):

Emil Sekerinski

Keyword(s):

Predicative Programming

Download Full-text

Predicative programming Part II

Communications of the ACM ◽

10.1145/69610.357990 ◽

1984 ◽

Vol 27 (2) ◽

pp. 144-151 ◽

Cited By ~ 25

Author(s):

Eric C. R. Hehner

Keyword(s):

Predicative Programming

Download Full-text

Predicative programming revisited

Lecture Notes in Computer Science - Mathematical Methods of Specification and Synthesis of Software Systems '85 ◽

10.1007/3-540-16444-8_2 ◽

1986 ◽

pp. 25-40

Author(s):

W. Bibel

Keyword(s):

Predicative Programming

Download Full-text

Predicative programming

New Generation Computing ◽

10.1007/bf03037086 ◽

1991 ◽

Vol 8 (4) ◽

pp. 275-276

Author(s):

Wolfgang Bibel

Keyword(s):

Predicative Programming

Download Full-text

Predicative programming Part I

Communications of the ACM ◽

10.1145/69610.357988 ◽

1984 ◽

Vol 27 (2) ◽

pp. 134-143 ◽

Cited By ~ 111

Author(s):

Eric C. R. Hehner

Keyword(s):

Predicative Programming

Download Full-text

Probabilistic Predicative Programming

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-540-27764-4_10 ◽

2004 ◽

pp. 169-185 ◽

Cited By ~ 10

Author(s):

Eric C. R. Hehner

Keyword(s):

Predicative Programming

Download Full-text

Quantum Predicative Programming

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/11783596_25 ◽

2006 ◽

pp. 433-454 ◽

Cited By ~ 6

Author(s):

Anya Tafliovich ◽

Eric C. R. Hehner

Keyword(s):

Predicative Programming

Download Full-text