Paper Info
Title
Representing Object Code
Abstract
In this paper, a logical representation of object code programs is presented. The coding is particularly well-suited for mechanization, and it enjoys interesting properties with respect to some relevant approaches to program synthesis, program derivation and formal verification [FD93, LO94, KLO96, FLO97a, LO98]. The paper describes both the representation with its properties, and a tool which permits to translate object programs for the MC68000 microprocessor into the formalism of the Isabelle logical framework.
Year
DOI
Venue
2000
10.1007/3-540-44957-4_36
International Conference on Computational Logic
Keywords
Field
DocType
mc68000 microprocessor,isabelle logical framework,program derivation,object program,program synthesis,logical representation,interesting property,relevant approach,representing object code,object code program,formal verification,logical framework
Object code,Program transformation,Programming language,Program synthesis,Computer science,Automated theorem proving,Theoretical computer science,Program derivation,Formalism (philosophy),Logical framework,Formal verification
Conference
Volume
ISSN
ISBN
1861
0302-9743
3-540-67797-6
Citations 
PageRank 
References 
1
0.35
17
Authors
1
Name
Order
Citations
PageRank
Marco Benini1164.85