Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,227,210 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
(opens in a new tab)
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.
2010
2010
An elementary and unified approach to program correctness
Jaime A. Bohórquez V
2010
Corpus ID: 189934831
We present through the algorithmic language DHL (Dijkstra-Hehner language), a practical approach to a simple first order theory…
Expand
2007
2007
Bunches of Objects
Richard F. Paige
,
E. Hehner
2007
Corpus ID: 16623952
We describe how to specify object-oriented systems using th e bunchnotation [5] of predicative programming [6]. We specify class…
Expand
2001
2001
HGR: a new rule induction algorithm based on extension matrices
Weijun Chen
,
Fuzong Lin
,
Jianmin Li
,
Bo Zhang
International Conferences on Info-Tech and Info…
2001
Corpus ID: 56648358
The paper proposes a heuristic, attribute-based data mining algorithm, HGR (heuristic grouping), based on the newly-developed…
Expand
1998
1998
Réalisations linguistiques des prédicats d'attribution de propriété en turc contemporain : étude morpho-syntaxique, intonative et énonciative
A. Yılmaz
1998
Corpus ID: 182460550
Cette these a pour objet de traiter les predicats d'attribution de propriete en turc contemporain. Du fait que ces predicats ont…
Expand
1998
1998
Formalizing and Integrating SA/SD with a Program Design Calculus
Richard F. Paige
1998
Corpus ID: 14314241
The notations and parts of a process for Structured Analysis and Structured Design [2, 15] are formalized within a program design…
Expand
1995
1995
Detecting Quantified Global Predicates in Parallel Programs
M. Minas
European Conference on Parallel Processing
1995
Corpus ID: 15290158
Global predicates in parallel programs are predicates considering the state of more than one process. They are a useful concept…
Expand
1993
1993
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings
R. Bird
,
C. Morgan
,
Jim Woodcock
1993
Corpus ID: 118936848
Extended calculus of constructions as a specification language.- On the economy of doing Mathematics.- Pretty-printing: An…
Expand
1984
1984
A Short Note on Predicative Programming: Global and Local Chaos
C. Lengauer
1984
Corpus ID: 124222839