N. Ramsey and M. Fernandez. Specifying Representations of Machine Instructions. ACM Transactions on Programming Languages and Systems, 19(3):492-524, May 1997. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Walkabout - A Retargetable Dynamic Binary Translation.. - Cifuentes, Lewis, Ung (2002) (2 citations) (Correct)
Computer Security Analysis through Decompilation and.. - Cifuentes, Waddington (2001) (1 citation) (Correct)
Cryptographic Verification of Test Coverage Claims - Devanbu, Stubblebine (1998) (5 citations) (Correct)
Processor Models for Retargetable Tools - Moona (2000) (Correct)
Specifying the Semantics of Machine Instructions - Cristina Cifuentes Shane (1998) (2 citations) (Correct)
Optimising Hot Paths in a Dynamic Binary Translator - Ung, Cifuentes (3 citations) (Correct)
A Formal Model of Real-Time Program Compilation - Lermer, Fidge (2000) (Correct)
Machine-Adaptable Dynamic Binary Translation - Ung, Cifuentes (2000) (6 citations) (Correct)
Cryptographic Verification of Test Coverage Claims - Devanbu, Stubblebine (1999) (5 citations) (Correct)
Machine Descriptions to Build Tools for Embedded Systems - Ramsey, Davidson (1998) (9 citations) (Correct)
Cryptographic Verification of Test Coverage Claims - Devanbu, Stubblebine (1997) (5 citations) (Correct)
TDL: A Hardware Description Language for Retargetable Postpass.. - Kästner (Correct)
TDL: A Hardware Description Language for Retargetable Postpass.. - Kästner (Correct)
CSDL: Reusable Computing System Descriptions for Retargetable.. - Bailey (Correct)
a Retargetable Static Binary Translation Framework - Cifuentes, Van Emmerik.. (2002) Self-citation (Ramsey) (Correct)
Eliminating Spurious Error Messages Using Exceptions.. - Ramsey (1997) Self-citation (Ramsey) (Correct)
Eliminating Spurious Error Messages Using Exceptions.. - Ramsey Self-citation (Ramsey) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC