Machine descriptions to build tools for embedded systems (1998)

Cached

Download Links

by Norman Ramsey , Jack W. Davidson
Venue:In ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES’98), volume 1474 of LNCS
Citations:48 - 17 self

Active Bibliography

Specifying Instructions ’ Semantics Using λ-RTL (Interim Report) – Norman Ramsey, Jack W. Davidson
1 Design Principles for Machine-Description Languages – Norman Ramsey, Jack W. Davidson, Mary F. Fernandez
3 CSDL: Reusable Computing System Descriptions for Retargetable System Software – Mark W. Bailey, John Knight, Ronald Williams - 2000
51 The New Jersey Machine-Code Toolkit – Norman Ramsey, Mary F. Fernandez - 1995
70 Specifying Representations of Machine Instructions – Norman Ramsey, Mary F. Fernández - 1997
11 A Retargetable, Optimizing Linker – Maria F. Fernández - 1996
35 Automatic Generation of Microarchitecture Simulators – Soner Onder, Rajiv Gupta - 1998
6 Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls – Jack W. Davidson, Mark W. Bailey, Mark W. Bailey - 2001
7 The Zephyr Compiler Infrastructure – Andrew Appel, Jack Davidson, Norman Ramsey - 1998
Automatically Generating Back Ends for a Portable Assembly Language Using Declarative Machine Descriptions – João Dias, Norman Ramsey
7 Relocating Machine Instructions by Currying – Norman Ramsey - 1996
6 Automatic Checking of Instruction Specifications – Mary F. Fernández, Norman Ramsey - 1997
Custom Calling Conventions in a . . . – Norman Ramsey, Christian Lindig - 2002
66 C--: A Portable Assembly Language That Supports Garbage Collection – Simon Peyton Jones, Norman Ramsey, Fermin Reig - 1999
39 A Design Environment for Addressing Architecture and Compiler Interactions – Jack W. Davidson, David B. Whalley - 1991
Jones). In preparation. – Thayer Rd, References Professor, Norman Ramsey, Professor Craig Chambers
2 Automatically Generating Instruction Selectors Using Declarative Machine Descriptions – João Dias, Norman Ramsey
1 Automatically Generating Back Ends Using Declarative Machine Descriptions – João Dias, Norman Ramsey
22 Architecture Description Languages for Systems-on-Chip Design – Hiroyuki Tomiyama, Ashok Halambi, Peter Grun, Nikil Dutt, Alex Nicolau - 1999