C. Cifuentes and S. Sendall. Specifying the semantics of machine instructions. In Proceedings of the International Workshop on Program Comprehension, pages 126-- 133, Ischia, Italy, 24--26 June 1998. IEEE CS Press. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Walkabout - A Retargetable Dynamic Binary Translation.. - Cifuentes, Lewis, Ung (2002) (2 citations) Self-citation (Cifuentes) (Correct)
No context found.
C. Cifuentes and S. Sendall. Specifying the semantics of machine instructions. In Proceedings of the International Workshop on Program Comprehension, pages 126-- 133, Ischia, Italy, 24--26 June 1998. IEEE CS Press.
a Retargetable Static Binary Translation Framework - Cifuentes, Van Emmerik.. (2002) Self-citation (Cifuentes) (Correct)
No context found.
C. Cifuentes and S. Sendall. Specifying the semantics of machine instructions. In Proceedings of the International Workshop on Program Comprehension, pages 126-- 133, Ischia, Italy, 24--26 June 1998. IEEE CS Press.
Walkabout - A Retargetable Dynamic Binary Translation.. - Cifuentes, Lewis, Ung (2002) (2 citations) Self-citation (Cifuentes) (Correct)
....were generated by this tool. V. THE INTERPRETER Interpreters in the Walkabout framework are automatically generated from specifications of syntax and semantics of machine instruction sets. Specifications include NJMC toolkit s SLED descriptions [RF97] and the UQBT s SSL descriptions [CS98] While SLED describes the instruction syntax, SSL describes the instruction semantics. SSL specifications allow users to specify the mapping between assembly instructions and their equivalent register transfers, to name new registers and declare overlaps, to define superoperators in the form of ....
C. Cifuentes and S. Sendall. Specifying the semantics of machine instructions. In Proceedings of the International Workshop on Program Comprehension, pages 126--133, Ischia, Italy, 24--26 June 1998. IEEE CS Press.
Computer Security Analysis through Decompilation and.. - Cifuentes, Waddington (2001) (1 citation) Self-citation (Cifuentes) (Correct)
....and Decoding) This language is part of the New Jersey Machine Code toolkit [22] and allows users to specify the syntax of machine instructions. SSL (Semantic Specification Language) This UQBT language allows users to specify the meaning of assembly instructions by means of register transfers [10]. PAL (Procedural Abstraction Language) This UQBT language allows users to specify the ABI conventions used by the OS for calling procedures, passing parameters and returning values, as well as locations in the stack frame where local variables and other information is placed [11] ....
C. Cifuentes and S. Sendall. Specifying the semantics of machine instructions. In Proceedings of the International Workshop on Program Comprehension, pages 126--133, Ischia, Italy, 24--26 June 1998. IEEE CS Press.
Optimising Hot Paths in a Dynamic Binary Translator - Ung, Cifuentes (3 citations) Self-citation (Cifuentes) (Correct)
....and decoding supports the description of the syntax of machine instructions [18] SLED is supported by the New Jersey machine code toolkit [13] which provides partial support for automatically generating an instruction decoder and its components. SSL: the semantic specification language [16] allows for the description of the semantics of machine instructions. It provides the assembly transitions between RTLs and binary instructions. 3. HOT PATHS Optimisations that are based on static analysis in traditional compiler technology can enhance the performance of the program, but often ....
C. Cifuentes and S. Sendall. Specifying the semantics of machine instructions. In Proceedings of the International Workshop on Program Comprehension, pages 126-133, Ischia, Italy, 24-26 June 1998, IEEE CS Press.
Machine-Adaptable Dynamic Binary Translation - Ung, Cifuentes (2000) (6 citations) Self-citation (Cifuentes) (Correct)
....generating an instruction decoder for a particular SLED specification. Current machines specified in this form include the Pentium, SPARC, MIPS and Alpha. SSL: the semantic specification language allows for the description of the semantics of machine instructions. SSL is supported by SRD [16]. SRD is the semantic mapper component, which supports the parsing of SSL files and the storing of such information in the form of a dictionary, which can be instantiated dynamically. The output of this stage is Ms RTLs. Ms RTLs are converted to machine independent RTLs (I RTLs) through analyses, ....
C. Cifuentes and S. Sendall. Specifying the semantics of machine instructions. In Proceedings of the International Workshop on program comprehension, pages 126-133, Ischia, Italy, 24-26 June 1998, IEEE CS Press.
Proceedings of the First Australian Undergraduate.. - Portable.. (Correct)
No context found.
Cifuentes, C. & Sendall, S. 1997, 'Specifying the Semantics of Machine Instructions', in International Workshop on Program Comprehension, IEEE-CS Press, Italy, pp. 126-133.
Preliminary Experiences with the Use of the UQBT.. - Cifuentes, Van.. (1999) (6 citations) (Correct)
No context found.
C. Cifuentes and S. Sendall. Specifying the semantics of machine instructions. In Proceedings of the International Workshop on Program Comprehension, pages 126 133, Ischia, Italy, 24 26 June 1998. IEEE CS Press.
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