https://repositorio.ufba.br/handle/ri/5645
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Duran, Adolfo | - |
dc.contributor.author | Cavalcanti, Ana | - |
dc.contributor.author | Sampaio, Augusto | - |
dc.creator | Duran, Adolfo | - |
dc.creator | Cavalcanti, Ana | - |
dc.creator | Sampaio, Augusto | - |
dc.date.accessioned | 2012-04-19T12:05:21Z | - |
dc.date.issued | 2010 | - |
dc.identifier.issn | 0934-5043 | - |
dc.identifier.uri | http://www.repositorio.ufba.br/ri/handle/ri/5645 | - |
dc.description | Acesso restrito: Texto completo. p. 489-535 | pt_BR |
dc.description.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. | pt_BR |
dc.language.iso | en | pt_BR |
dc.source | DOI: 10.1007/s00165-009-0124-9 | pt_BR |
dc.subject | Algebraic transformation | pt_BR |
dc.subject | Refinement | pt_BR |
dc.subject | Compiler correctness | pt_BR |
dc.title | An algebraic approach to the design of compilers for object-oriented languages | pt_BR |
dc.title.alternative | FORMAL ASPECTS OF COMPUTING | pt_BR |
dc.type | Artigo de Periódico | en |
dc.type | Artigo de Periódico | pt_BR |
dc.identifier.number | v. 22, v. 5 | pt_BR |
dc.embargo.liftdate | 10000-01-01 | - |
Aparece nas coleções: | Artigo Publicado em Periódico (PEI) |
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
__www.springerlink.com_c...v233544290r11287_fulltext.pdf Restricted Access | 2,41 MB | Adobe PDF | Visualizar/Abrir Solicitar uma cópia |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.