Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 206,194,160 papers from all fields of science
Search
Sign In
Create Free Account
Predicative programming
Predicative programming is a methodology for program specification and refinement. The central idea of predicative programming is that each…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
4 relations
Broader (1)
Formal methods
List of important publications in theoretical computer science
Specification language
Unifying Theories of Programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
Probabilistic Predicative Programming
E. Hehner
MPC
2004
Corpus ID: 14952587
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.
Highly Cited
2000
Highly Cited
2000
Quantum Programming
J. Sanders
,
P. Zuliani
MPC
2000
Corpus ID: 30695560
Quantum Programming 2004 The subject of this work is quantum programming — the study of developing of programs intended for…
Expand
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…
Expand
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…
Expand
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…
Expand
1992
1992
A Calculus for Predicative Programming
E. Sekerinski
MPC
1992
Corpus ID: 1389198
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial…
Expand
1992
1992
Functional and predictive programming in OODB's
C. Beeri
,
T. Milo
PODS '92
1992
Corpus ID: 17473070
The object oriented paradigm offers a rich set of data structuring and manipulation facilities. Object oriented data models…
Expand
Highly Cited
1984
Highly Cited
1984
Predicative programming Part I
E. Hehner
CACM
1984
Corpus ID: 11577076
Programs are given a new semantics with the merit that a specification written as a first-order predicate can be refined, step by…
Expand
1984
1984
Predicative programming Part II
E. Hehner
CACM
1984
Corpus ID: 14259024
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
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…
Expand
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
ACCEPT & CONTINUE