Search results for keyword `FP'

[46]

Isabelle Attali and Jacques Chazarain. Functional evaluation of strongly non-circular typol specifications. In Pierre Deransart and Martin Jourdan, editors, Attribute Grammars and their Applications (WAGA), volume 461 of Lecture Notes in Computer Science, pages 157-176. Springer-Verlag, New York-Heidelberg-Berlin, September 1990. Paris.

[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.

[325]

Harald Ganzinger. Strukturelle zusammenhänge zwischen funktionalen sprachbeschreibungen und übersetzerbeschreibungen. In W. Henhalp, editor, GI Fachgespräch ``Compiler-Compiler'', pages 96-119. Fachbereich Informatik, Tech. Hochschule Darmstadt, Berlin, 1978.

[329]

Harald Ganzinger. Transforming denotational semantics into practical attribute grammars. In Neil D. Jones, editor, Semantics-Directed Compiler Generation, volume 94 of Lecture Notes in Computer Science, pages 1-69. Springer-Verlag, New York-Heidelberg-Berlin, 1980.

[454]

T. Johnsson. Target code generation from the G-machine code. Technical Report 39, Programming Methodology Group, University of Goteborg and Chalmers University of Technology, February 1987. Part of the PhD thesis: Compiling Lazy Functional Languages, 1987. Presented at the Graph Reduction Workshop, Santa Fe, Sep 1986.

G machine is a stack machine for von-Neumann-like execution of lazy functional languages using graph reduction. Paper describes target code generation from G-machine code in a compiler for lazy-ML. 2 methods: (a) generates naive code like macro expansion (b) better, avoids redundant operations Code generation expressed as an attribute grammar over G-machine code sequences. http://cs.chalmers.se/welcome.eng.html (CSci Chalmers) ('94)

[455]

Thomas Johnsson. Attribute grammars as a functional programming paradigm. In Gilles Kahn, editor, Func. Prog. Languages and Computer Architecture, volume 274 of Lecture Notes in Computer Science, pages 154-173. Springer-Verlag, New York-Heidelberg-Berlin, September 1987. Portland.

[1003]

G. O. Uddeborg. A functional parser generator. Technical Report 43, Programming Methodology Group, University of Goteborg and Chalmers University of Technology., February 1988.

a parser generator, written in LML, to accept attribute grammars.