Skip to search formSkip to main contentSkip to account menu

Predicative programming

Predicative programming is a methodology for program specification and refinement. The central idea of predicative programming is that each… 
Wikipedia

Related topics

Related topics

4 relations

Broader (1)

Formal methods
List of important publications in theoretical computer scienceSpecification languageUnifying Theories of Programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
Probabilistic Predicative Programming
This paper shows how probabilistic reasoning can be applied to the predicative style of programming. 
Highly Cited
2000
Highly Cited
2000
Quantum Programming
Quantum Programming 2004 The subject of this work is quantum programming — the study of developing of programs intended for… 
Highly Cited
1993
Highly Cited
1993
A Practical Theory of Programming
  • E. Hehner
  • Texts and Monographs in Computer Science
  • 1993
  • Corpus ID: 5914094
Understanding programming and programming languages requires knowledge of the underlying theoretical model. This book explores… 
Review
1993
Review
1993
Predicative Programming - A Survey
  • J. Grundy
  • Formal Methods in Programming and Their…
  • 1993
  • Corpus ID: 8625322
The idea of using a predicate to specify behaviour is a compelling one, and leads to a desire to refine specifications into… 
Highly Cited
1993
Highly Cited
1993
A Practical Theory of Programming
  • E. Hehner
  • Texts and Monographs in Computer Science
  • 1993
  • Corpus ID: 5914094
Understanding programming and programming languages requires knowledge of the underlying theoretical model. This book explores… 
1992
1992
A Calculus for Predicative Programming
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial… 
1992
1992
Functional and predictive programming in OODB's
The object oriented paradigm offers a rich set of data structuring and manipulation facilities. Object oriented data models… 
Highly Cited
1984
Highly Cited
1984
Predicative programming Part I
Programs are given a new semantics with the merit that a specification written as a first-order predicate can be refined, step by… 
1984
1984
Predicative programming Part II
Part I of this two-part paper presented a new semantics of programs. Each program is considered to be a predicate, in a… 
Highly Cited
1984
Highly Cited
1984
Programs are predicates
  • C. Hoare
  • Philosophical Transactions of the Royal Society…
  • 1984
  • Corpus ID: 5055340
A computer program is identified with the strongest predicate describing every relevant observation that can be made of the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License