Refinement algebra for formal bytecode generation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2495, Issue , 2002, Pages 347-358

  Duran, Adolfo ^a   Cavalcanti, Ana ^a   Sampaio, Augusto ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL LINGUISTICS; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SOFTWARE ENGINEERING;

ALGEBRAIC LAWS; ALGEBRAIC TRANSFORMATIONS; BYTECODES; CORRECT-BY-CONSTRUCTION; NORMAL FORM; SEMANTIC FRAMEWORK; TARGET MACHINES;

FORMAL METHODS;

EID: 84948981382     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-36103-0_36     Document Type: Article

References (7)

1. Paulo Borba and Augusto Sampaio. Basic laws of rool: an object-oriented language. Revista de Informática Teórica e Aplicada, 7(I):49-68, 2000.
2. Ana Cavalcanti and David Naumann. A weakest precondition semantics for refinement of object-oriented programs. IEEE Transactions on Software Enginnering, 26(08):713-728, 2000.
3. C. A. R. Hoare, J. He, and A. Sampaio. Normal form approach to compiler design. Acta Informatica, 30:701-739, 1993.
4. M. Müller-Olm. Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction, volume 1283 of LNCS. Springer-Verlag, Heidelberg, Germany, 1997.
5. Augusto Sampaio. An Algebraic Approach to Compiler Design, volume 4 of AMAST Series in Computing. World Scientific, 1997.
6. R. Stärk, J. Schmid, and E. Börger. Java and the Java Virtual Machine - Definition, Verification, Validation. Springer-Verlag, 2001.
7. B. Stroustrup. The C++ Programming Language. Addison-Wesley, 1991.