scholarly journals Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming

1988 ◽  
Vol 78 (1) ◽  
pp. 1-55 ◽  
Author(s):  
B. Courcelle ◽  
P. Deransart
Keyword(s):  
Logic Programming ◽  
Attribute Grammars ◽  
Partial Correctness ◽  
Recursive Procedures

FUNCTIONAL PRODUCTION SYSTEMS VIEWED AS GRAMMARS

1991 ◽  
Vol 02 (01) ◽  
pp. 23-41
Author(s):  
THOMAS WILMES
Keyword(s):  
Logic Programming ◽  
Production Systems ◽  
Attribute Grammars ◽  
Definite Clause

Functional production systems, which have been represented so far as a unification of functional and logic programming, are reviewed as a highly compact grammar concept, generalizing two-level, definite clause, macro, and attribute grammars.

scholarly journals Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic

2021 ◽  
Vol 43 (4) ◽  
pp. 1-35
Author(s):  
Frank S. de Boer ◽  
Hans-Dieter A. Hiep
Keyword(s):  
Hoare Logic ◽  
Partial Correctness ◽  
Correctness Proofs ◽  
Recursive Procedures

We provide a sound and relatively complete Hoare logic for reasoning about partial correctness of recursive procedures in presence of local variables and the call-by-value parameter mechanism and in which the correctness proofs support contracts and are linear in the length of the program. We argue that in spite of the fact that Hoare logics for recursive procedures were intensively studied, no such logic has been proposed in the literature.

Conceptual Modeling via Logic Programming

1990 ◽  
Author(s):  
John Burge ◽  
Bill Noah ◽  
Les Smith
Keyword(s):  
Logic Programming ◽  
Conceptual Modeling
Sign in / Sign up

Export Citation Format

Share Document