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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
This paper shows how probabilistic reasoning can be applied to the predicative style of programming. 
Highly Cited
2000
Highly Cited
2000
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
  • 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
  • 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
  • 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 developing programs from specifications written as predicates that describe the relationship between the initial… 
1992
1992
The object oriented paradigm offers a rich set of data structuring and manipulation facilities. Object oriented data models… 
Highly Cited
1984
Highly Cited
1984
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
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
  • 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…