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.