|
7
|
Using Program Checking to Ensure the Correctness of Compiler Implementations
– Sabine Glesner
- 2003
|
|
5
|
Verified Code Generation for Embedded Systems
– Sabine Glesner, Rubino Geiß Boris Boesler, Rubino Geiß, Boris Boesler
- 2002
|
|
10
|
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
|
|
18
|
Code generation based on formal BURS theory and heuristic search
– A. Nymeyer, J.-P. Katoen
- 1997
|
|
41
|
Retargetable code generation based on structural processor descriptions. Design Automation for Embedded Systems
– Rainer Leupers, Peter Marwedel
- 1998
|
|
10
|
Global Code Selection for Directed Acyclic Graphs
– Andreas Fauth, Günter Hommel, Alois Knoll, Carsten Müller
- 1994
|
|
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
|
|
27
|
On the Construction of Correct Compiler Back-Ends: An ASM Approach
– Wolf Zimmermann, Thilo Gaul
- 1997
|
|
4
|
Graph based Code Selection Techniques for Embedded Processors
– Rainer Leupers, Steven Bashford
- 2000
|
|
32
|
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
|
|
10
|
Code Generation for Embedded Processors
– Rainer Leupers
- 2000
|
|
5
|
Code Generation Techniques
– Todd Alan Proebsting
- 1992
|
|
2
|
Towards Optimizing Code Generation by Domain-Sensitive Macro Expansion
– Eero Lassila, Eero Lassila
- 1997
|
|
15
|
Optimal Code Selection in DAGs
– M. Anton Ertl
- 1999
|
