文档介绍：Universidade Federal de Pernambuco
Centro de Inform´atica
P´osGradua¸c˜aoem puta¸c˜ao
Tese de Doutorado
An Algebraic Approach to the Design pilers for
Object-Oriented Languages
Adolfo Almeida Duran
Esta tese foi apresentada `aP´os-Gradua¸c˜aoem Ciˆenciada
Computa¸c˜ao do Centro de Inform´atica da Universidade
Federal de o requisito parcial para obten¸c˜ao
do grau de Doutor em puta¸c˜ao.
Thesis presented to the Federal University of Pernambuco in
partial fulfillment of the requirements for the degree of .
puter Science.
Orientador(Supervisor):
Prof. Dr. Augusto C´esarAlves Sampaio
Co-orientadora (Co-supervisor):
Profa. Dra. Ana L´uciaCaneca Cavalcanti
Resumo
Neste trabalho discutimos o projeto piladores corretos por constru¸c˜aopara linguagens orien-
tadas a objeto. pilador correto ´eaquele que garante que a semˆantica ´epreservada quando
o programa fonte ´etraduzido para a linguagem destino.
O projeto piladores corretos para linguagens imperativas se encontra bem fundamentado;
atualmente, o maior desafio ´eo desenvolvimento de uma abordagem para caracter´isticas
de orienta¸c˜aoa objetos. Nesta tese, descrevemos uma abordagem alg´ebricapara constru¸c˜aode
compiladores corretos para uma linguagem orientada a objetos chamada ROOL (acrˆonimopara
Refinement Object-oriented Language), que ´esimilar a Java e C++. Esta linguagem inclui classes,
heran¸ca,liga¸c˜aodinˆamica,recurs˜ao, cast e teste de tipos, e visibilidade baseada em classes.
Na nossa abordagem, o problema de corretude pilador transformando a
tarefa pila¸c˜aoem uma tarefa de refinamento de programa. O processo pila¸c˜aopassa
ser o sendo a redu¸c˜aode um programa fonte, escrito em um subconjunto execut´avel
da linguagem, para uma forma normal. A forma normal ´egerada por uma s´eriede transforma¸c˜oes
que preservam a corretude, e s˜aoprovadas corretas a partir das leis b´asicasda linguagem; portanto
o processo ´ecorreto por constru¸c˜ao.
A maior vantagem da