Specifying Representations of Machine Instructions (1997)

by Norman Ramsey , Mary F. Fernández
Venue:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Citations:70 - 16 self

Documents Related by Co-Citation

48 Machine descriptions to build tools for embedded systems – Norman Ramsey, Jack W. Davidson - 1998
30 A Formal Model and Specification Language for Procedure Calling Conventions – Mark W. Bailey, Jack W. Davidson - 1994
340 Shade: A Fast Instruction-Set Simulator for Execution Profiling – Bob Cmelik , David Keppel - 1994
24 Specifying the semantics of machine instructions – C Cifuentes, S Sendall - 1998
129 EXPRESSION: A language for architecture exploration through compiler/simulator retargetability – Ashok Halambi, Peter Grun, Vijay Ganesh, Asheesh Khare - 1999
90 ISDL: An Instruction Set Description Language for Retargetability – George Hadjiyiannis, Silvina Hanono, Srinivas Devadas - 1997
51 The New Jersey Machine-Code Toolkit – Norman Ramsey, Mary F. Fernandez - 1995
156 A Portable Global Optimizer and Linker – M E Benitez, J W Davidson - 1988
20 The design of a resourceable and retargetable binary translator – C Cifuentes, M Van Emmerik, N Ramsey - 1999
95 Binary translation – Richard L. Sites, Anton Chernoff, Matthew B. Kirk, Maurice P. Marks, Scott G. Robinson - 1993
46 A Retargetable Debugger – Norman Ramsey - 1992
70 Digital FX!32: Combining Emulation and Binary Translation – R J Hookway, M A Herdeg - 1997
268 Eel: Machine-independent executable editing – James R. Larus, Eric Schnarr - 1995
81 Describing instruction set processors using nML – A. Fauth, J. Van Praet, M. Freericks - 1995
1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
9 TDL - A Hardware and Assembly Description Language – Daniel Kästner - 2000
34 A processor description language supporting retargetable multi-pipeline DSP program development tools – C Siska - 1998
46 Machine Description Formalism – Markus Freericks
41 Retargetable code generation based on structural processor descriptions. Design Automation for Embedded Systems – Rainer Leupers, Peter Marwedel - 1998