Search results for
keyword `PRS'
Search performed on http://www-rocq.inria.fr/oscar/www/fnc2/AGabstract.html.
- [165]
- Bruno
Courcelle and Pierre Deransart.
Proofs of partial correctness for attribute grammars with application to
recursive procedures and logic programming.
Information and Computation, 78(1):1-55, July 1988.
- [166]
- Bruno Courcelle and Paul Franchi-Zannettacci.
On the equivalence problem for attribute systems.
rapport 8026, University de Bordeaux I, 1980.
- [168]
- Bruno Courcelle and Paul Franchi-Zannettacci.
Attribute grammars and recursive program schemes.
Theoretical Computer Science, 17(2 and 3):163-191 and 235-257,
1982.
part I and II See also: rapport 8008, University de Bordeaux I (April 1980).
- [707]
- Andrea Mößle and Heiko
Vogler.
Efficient
call-by-value evaluation strategy of primitive recursive program schemes.
In Proceedings of the Fuji International Workshop in Functional and Logic
Programming. World Scientific Publishing Co. Pte Ltd., 1995.
- [1010]
- A. van Deursen.
Origin tracking in
primitive recursive schemes.
In H. A. Wijshoff, editor, Conference Proceedings Computing Science in
the Netherlands (CSN'93), pages 132-143, 1993.