BDBComp
Parceria:
SBC
Um Sistema de Tipo Para uma Linguagem de Transformação

Alexandra BarrosPaulo Borba

We present a type system for JaTS, a language for specifying transformations to Java programs. In the current version of the language, the notion of type already exists, but is implicit and informal. It is necessary to formally specify the type system of JaTS so that programs produced by transformations written in JaTS do not contain errors.

http://www.lbd.dcc.ufmg.br:8080/colecoes/sblp/2005/001.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD