The following pages link to Pierre Deransart (Q685394):
Displaying 19 items.
- Proof methods of declarative properties of definite programs (Q685395) (← links)
- Speeding up circularity tests for attribute grammars (Q1052103) (← links)
- An operational formal definition of PROLOG: A specification method and its application (Q1186100) (← links)
- Attribute grammars. Definitions, systems and bibliography (Q1210829) (← links)
- (Q2640346) (redirect page) (← links)
- Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming (Q2640347) (← links)
- (Q2763644) (← links)
- (Q3204030) (← links)
- Proof by semantic attributes of a LISP compiler (Q3206343) (← links)
- Relating logic programs and attribute grammars (Q3711779) (← links)
- (Q3830550) (← links)
- (Q3922139) (← links)
- Proof method of partial correctness and weak completeness for normal logic programs (Q4275260) (← links)
- (Q4413066) (← links)
- (Q4472446) (← links)
- (Q4873717) (← links)
- (Q4875865) (← links)
- (Q4939291) (← links)
- Logic Programming (Q5191485) (← links)
