Predicative programming

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

Topic mentions per year

Topic mentions per year

1983-2009
012319832009

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
The subject of this work is quantum predicative programming — the development of programs intended for execution on a quantum… (More)
Is this relevant?
2004
2004
This paper shows how probabilistic reasoning can be applied to the predicative style of programming. 
Is this relevant?
1999
1999
The predicative programming design calculus is integrated with an object-oriented method that uses a subset of the Unified… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • figure 4
Is this relevant?
1998
1998
We apply the predicative programming formal method of [2] in specifying and designing a solution to the invoicing case study. The… (More)
Is this relevant?
1992
1992
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial… (More)
Is this relevant?
1992
1992
The object oriented paradigm offers a rich set of data structuring and manipulation facilities. Object oriented data models… (More)
Is this relevant?
1992
1992
 
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Programs are predicates, programming is proving, and termination is timing. 
Is this relevant?
Highly Cited
1984
Highly Cited
1984
<italic>Programs are given a new semantics with the merit that a specification written as a first-order predicate can be refined… (More)
  • figure 1
Is this relevant?
1984
1984
<italic>Part I of this two-part paper presented a new semantics of programs. Each program is considered to be a predicate, in a… (More)
Is this relevant?