Skip navigation
Universidade Federal da Bahia |
Repositório Institucional da UFBA
Use este identificador para citar ou linkar para este item: https://repositorio.ufba.br/handle/ri/5645
Tipo: Artigo de Periódico
Artigo de Periódico
Título: An algebraic approach to the design of compilers for object-oriented languages
Título(s) alternativo(s): FORMAL ASPECTS OF COMPUTING
Autor(es): Duran, Adolfo
Cavalcanti, Ana
Sampaio, Augusto
Autor(es): Duran, Adolfo
Cavalcanti, Ana
Sampaio, Augusto
Abstract: In this paper we describe an algebraic approach to construct provably correct compilers for objectoriented languages; this is illustrated for programs written in a language similar to a sequential subset of Java. It includes recursive classes, inheritance, dynamic binding, recursion, type casts and test, assignment, and classbased visibility, but a copy semantics. In our approach, we tackle the problem of compiler correctness by reducing the task of compilation to that of program refinement. Compilation is identified with the reduction of a source program to a normal form that models the execution of object code. The normal form is generated by a series of correctness-preserving transformations that are proved sound from the basic laws of the language; therefore it is correct by construction. The main advantages of our approach are the characterisation of compilation within a uniform framework, where comparisons and translations between semantics are avoided, and the modularity and extensibility of the resulting compiler.
Palavras-chave: Algebraic transformation
Refinement
Compiler correctness
URI: http://www.repositorio.ufba.br/ri/handle/ri/5645
Data do documento: 2010
Aparece nas coleções:Artigo Publicado em Periódico (PEI)

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
__www.springerlink.com_c...v233544290r11287_fulltext.pdf
  Restricted Access
2,41 MBAdobe PDFVisualizar/Abrir Solicitar uma cópia
Mostrar registro completo do item Visualizar estatísticas


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.