Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Predicative programming

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Two general paradigms have influenced the study of nominals since the middle eighties. According to the syntactic DP hypothesis… Expand
  • figure 1
  • table 1
2006
2006
The subject of this work is quantum predicative programming - the development of programs intended for execution on a quantum… Expand
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… Expand
  • figure 3.1
  • figure 6.1
1992
1992
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial… Expand
1992
1992
The object oriented paradigm offers a rich set of data structuring and manipulation facilities. Object oriented data models… Expand
Highly Cited
1990
Highly Cited
1990
  • E. Hehner
  • Sci. Comput. Program.
  • 1990
  • Corpus ID: 205066401
Programs are predicates, programming is proving, and termination is timing. 
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… Expand
  • figure 1
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… Expand
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… Expand
  • table 1
  • figure 2
  • figure 4