|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
18/02/1998 |
|
Data da última atualização: |
14/09/2007 |
|
Autoria: |
GUEDES, L. C. C.; HAEUSLER, E. H.; RANGEL, J. L. |
|
Título: |
An object oriented model for semantics directed compiler generation. |
|
Ano de publicação: |
1996 |
|
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais. Belo Horizonte: SBC / UFMG, 1996. |
|
Páginas: |
p.155-168 |
|
Idioma: |
Inglês |
|
Conteúdo: |
This paper describes a semantic model suitable for a compiler generation system that takes as input the denotational description of the source language. The model proposed here maps the denotational definition of a programming language to an object oriented program in an adequate language. The core of the model is the mapping from syntactic and semantic domains into classes, and from semantic functions into methods of those classes. Semantic equations are mapped to the implementation of some of those methods. Its correctness has been proved and a system prototype implemented. Performance tests have shown our system outperforms similar systems and that its produced compilers are just one order of magnitude slower than hand written ones. The great efficiency of the model is a promising step towards the automatically generation of production quality compilers. Thus, a natural and elegant model to translate programming language descriptions into realistic compilers with its correctness guaranteed has been obtained. |
|
Palavras-Chave: |
Linguagens de programação; Programming languages. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01614naa a2200181 a 4500
001 1005993
005 2007-09-14
008 1996 bl uuuu u00u1 u #d
100 1 $aGUEDES, L. C. C.
245 $aAn object oriented model for semantics directed compiler generation.
260 $c1996
300 $ap.155-168
520 $aThis paper describes a semantic model suitable for a compiler generation system that takes as input the denotational description of the source language. The model proposed here maps the denotational definition of a programming language to an object oriented program in an adequate language. The core of the model is the mapping from syntactic and semantic domains into classes, and from semantic functions into methods of those classes. Semantic equations are mapped to the implementation of some of those methods. Its correctness has been proved and a system prototype implemented. Performance tests have shown our system outperforms similar systems and that its produced compilers are just one order of magnitude slower than hand written ones. The great efficiency of the model is a promising step towards the automatically generation of production quality compilers. Thus, a natural and elegant model to translate programming language descriptions into realistic compilers with its correctness guaranteed has been obtained.
653 $aLinguagens de programação
653 $aProgramming languages
700 1 $aHAEUSLER, E. H.
700 1 $aRANGEL, J. L.
773 $tIn: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais. Belo Horizonte: SBC / UFMG, 1996.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
