Predicative programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
- MPC
- 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
- MPC
- 2004
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.Â
Is this relevant?
1999
1999
- Comput. J.
- 1999
The predicative programming design calculus is integrated with an object-oriented method that uses a subset of the Unified… (More)
Is this relevant?
1998
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
- MPC
- 1992
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial… (More)
Is this relevant?
1992
1992
- PODS
- 1992
The object oriented paradigm offers a rich set of data structuring and manipulation facilities. Object oriented data models… (More)
Is this relevant?
1992
Highly Cited
1990
Highly Cited
1990
- Texts and Monographs in Computer Science
- 1990
Programs are predicates, programming is proving, and termination is timing.Â
Is this relevant?
Highly Cited
1984
Highly Cited
1984
- Commun. ACM
- 1984
<italic>Programs are given a new semantics with the merit that a specification written as a first-order predicate can be refined… (More)
Is this relevant?
1984
1984
- Commun. ACM
- 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?