Output details
11 - Computer Science and Informatics
University of York
Article title
An algebraic approach to the design of compilers for object-oriented languages
Type
D - Journal article
Title of journal
Formal Aspects of Computing
Article number
-
Volume number
22
Issue number
5
First page of article
489
ISSN of journal
0934-5043
Year of publication
2010
Number of additional authors
2
Additional information
<07>Originality: This paper extends Hoare’s algebraic compilation approach to object-oriented programs. The source language caters for inheritance, recursive classes, dynamic binding, visibility, and type tests and casts; the target is akin to a Java Virtual Machine. Its setting is, therefore, much more challenging than that in the original work on algebraic compilation. Rigour: Soundness is addressed by proof in terms of an algebraic semantics. Significance: This work follows from a project that was jointly supported by a Brazilian Research Agency and the American NSF; in its final evaluation, the project was given the highest commendation: merit of honour.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - High Integrity Systems Engineering
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
