Advanced Generator Techniques for Embedded Compilers

Cached

Download Links

by Thilo S. Gaul , Günter SCHUMACHER
Venue:Proceedings of the EMMSEC'99 Conference
Citations:1 - 0 self

Active Bibliography

6 Verified Code Generation for Embedded Systems – Sabine Glesner, Rubino Geiß, Boris Boesler - 2002
10 Using Program Checking to Ensure the Correctness of Compiler Implementations – Sabine Glesner - 2003
11 ASM-Based Mechanized Verification of Compiler Back-Ends – Axel Dold , Thilo S. Gaul , Vincent Vialard, Wolf Zimmermann
1 Code Generation = A* + BURS – Albert Nymeyer, Joost-pieter Katoen, Ymte Westra, Henk Alblas - 1996
17 Code generation based on formal BURS theory and heuristic search – A. Nymeyer, J.-P. Katoen - 1997
3 Practical Construction of Correct Compiler Implementations by Runtime Result Verification – Thilo Gaul, Wolf Zimmermann, Wolfgang Goerigk - 2000
7 Construction of Verified Software Systems with Program-Checking: An Application To Compiler Back-Ends – Thilo Gaul, Andreas Heberle, Wolf Zimmermann, Wolfgang Goerigk - 1999
41 Retargetable code generation based on structural processor descriptions. Design Automation for Embedded Systems – Rainer Leupers, Peter Marwedel - 1998
11 Global Code Selection for Directed Acyclic Graphs – Andreas Fauth, Günter Hommel, Alois Knoll, Carsten Müller - 1994
27 On the Construction of Correct Compiler Back-Ends: An ASM Approach – Wolf Zimmermann, Thilo Gaul - 1997
35 Retargetable Generation of Code Selectors from HDL Processor Models – Rainer Leupers, Peter Marwedel - 1997
Extending Graham-Glanville Techniques for Optimal Code Generation – Maya Madhavan, Priti Shankar, Siddhartha Rai, U. Ramakrishna
1 Optimal regular tree pattern matching using pushdown automata – Maya Madhavan, Priti Shankar - 1998
Finding minimum cost derivation trees for regular tree grammars – Maya Madhavan, Priti Shankar - 1998
5 Graph based Code Selection Techniques for Embedded Processors – Rainer Leupers, Steven Bashford - 2000
5 Code Generation Techniques – Todd Alan Proebsting - 1992
2 Towards Optimizing Code Generation by Domain-Sensitive Macro Expansion – Eero Lassila, Eero Lassila - 1997
17 Optimal Code Selection in DAGs – M. Anton Ertl - 1999
10 Phase-Coupled Mapping of Data Flow Graphs to Irregular Data Paths – Steven Bashford, Rainer Leupers - 1999