Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 222,787,836 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.
2018
2018
Descriptive problems in defining the category of copulas: syntactic and semantic distribution of the ingressive copulas VIRSTI and TAPTI
Rolandas Mikulskas
Lietuvių Kalba
2018
Corpus ID: 126041657
Cognitive Grammar (Langacker 1991) allows for a unified account of copular constructions. In this framework, all types of copular…
Expand
2011
2011
The use of partitive predicatives by Estonian learners of Finnish at different levels of L2 proficiency
Marianne Spoelman
2011
Corpus ID: 55585820
The partitive has often been acknowledged as problematic for L2 learners of Finnish. The purpose of this study was to identify…
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
1999
1999
Using an Object-Oriented Predicative Style to Solve the Invoicing Case Study
R. Paige
1999
Corpus ID: 11438696
We apply the predicative programming formal method of [2] in specifying and designing a solution to the invoicing case study. The…
Expand
1998
1998
Separating Timing and Calculation in Real-Time Refinement
I. Hayes
1998
Corpus ID: 1307539
We consider the specification and refinement of sequential real-time programs. Our realtime specifications describe the allowable…
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
R. 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
1996
1996
NKRL, a Knowledge Representation Language for Narrative Natural Language Processing
G. P. Zarri
International Conference on Computational…
1996
Corpus ID: 1029706
NKRL is a conceptual language which intends to provide a normalised, pragmatic description of the semantic contents (in short…
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
Review
1986
Review
1986
Predicative programming revisited
W. Bibel
Mathematical Methods of Specification and…
1986
Corpus ID: 45429106
This paper analyzes the problem of program synthesis at various levels of detail. At the highest level we distinguish a number of…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE