Code generation based on formal BURS theory and heuristic search (1997)

by A. Nymeyer , J.-P. Katoen
Venue:Acta Informatica
Citations:17 - 2 self

Documents Related by Co-Citation

65 BEG - A generator for efficient back ends – H EMMELMANN, F-W SCHRÖER, R LANDWEHR - 1989
33 Burs automata generation – T A Proebsting - 1995
17 Code selection by regularly controlled term rewriting – H Emmelmann - 1992
33 Efficient retargetable code generation using bottom-up tree pattern matching – A. Balachandran, D. M. Dhamdheret, S. Biswas - 1990
27 On the Construction of Correct Compiler Back-Ends: An ASM Approach – Wolf Zimmermann, Thilo Gaul - 1997
34 An improvement to bottom-up tree pattern matching – David R Chase - 1987
302 Designing Programs That Check Their Work – Manuel Blum, Sampath Kannan - 1989
25 Efficient Tree Pattern Matching: An Aid to Code Generation – A V Aho, M Ganapathi - 1985
136 Pattern matching in trees – C M Ho mann, M J O'Donnell - 1982
27 Tree Automata for Code Selection – Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm - 1994
51 Optimal Code generation for expression tree: An application of – E Pelegri-Llopart, S L Graham
269 The Design and Implementation of a Certifying Compiler – George C. Necula , Peter Lee - 1998
111 Engineering a simple, efficient code-generator generator – Christopher W Fraser, David R. Hanson, Todd A. Proebsting - 1992
15 High-Quality Code Generation via bottom-up Tree Pattern Matching – P Hatcher, T Christopher - 1986
24 Evolving Algebras: Lipari Guide – Y Gurevich - 1993
102 Code generation using tree matching and dynamic programming – A V Aho, M Ganapathi, S W K Tjiang - 1989
7 Using dynamic programming to generate optimised code in a Graham-Glanville style code generator – T W Christopher, P J Hatcher, R C Kukuk - 1984
3 Design of a bottom up tree pattern matching algorithm and its application to code generation – A Gantait - 1996
4 Retargettable code generation using bottom up tree pattern matching – Ravi Kumar, S - 1992