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

Compiler Techniques for Fast Migration of Embedded Applications – Thilo S. Gaul, Günter SCHUMACHER
11 ASM-Based Mechanized Verification of Compiler Back-Ends – Axel Dold , Thilo S. Gaul , Vincent Vialard, Wolf Zimmermann
11 Using Program Checking to Ensure the Correctness of Compiler Implementations – Sabine Glesner - 2003
6 Verified Code Generation for Embedded Systems – Sabine Glesner, Rubino Geiß, Boris Boesler - 2002
1 Code Generation = A* + BURS – Albert Nymeyer, Joost-pieter Katoen, Ymte Westra, Henk Alblas - 1996
Pattern-Matching Algorithms based on Term Rewrite Systems? – unknown authors
Code Generation = A+BURS – Albert Nymeyer, Joost-pieter Katoen, Ymte Westra, Henk Alblas
unknown title – unknown authors - 1996
41 Retargetable code generation based on structural processor descriptions. Design Automation for Embedded Systems – Rainer Leupers, Peter Marwedel - 1998