Otimização de tipos em linguagem LL

AUTOR(ES)

Clevan Ricardo da Costa

DATA DE PUBLICAÇÃO

1995

RESUMO

We describe in this thesis an optirnization phase for a compiler for the language LL. Its main goal is type inference achieved through data fiow analysis. Several methods for type inference in object-oriented languages are described, including a description of data fiow analysis. The Kaplan and Ullman method is described in more detail. Its adaptation to . LL and the implementation within an existing compiler are also described. We present also some final conclusions, including examples and possible extensions.

ASSUNTO(S)

linguagem de programação (computadores) compiladores (computadores)

Documentos Relacionados

• Projeto e implantação de LL : uma linguagem de bibliotecas baseada em objetos
• Uso de algoritmo de otimização na determinação de tipos de animal funcional
• DefiniÃao e implementacÃo do sistema de tipos da linguagem Circus
• Tilirosídeo em Croton gnaphalii BAlLL
• Técnicas de otimização de código objeto e suas aplicações em um compilador para a linguagem Basic usando um compilador de compiladores