Parceria:
Alexandra Barros, Paulo 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
Processando consulta.