Antônio Carlos Lima de Santana

Publication Activity (10 Years)

Years Active: 1998-2003
Publications (10 Years): 0

Publications

Adenilso da Silva Simão, Auri Marcelo Rizzo Vincenzi, Antônio Carlos Lima de Santana
A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters. CLEI Electron. J. 6 (1) (2003)
Antônio Carlos Lima de Santana, Luiz Henrique Castelo Branco, Antônio Francisco do Prado, Wanderley Lopes de Souza, Marcelo Sant'Anna
Automatic Implementation of Distributed Systems Formal Specifications. PDPTA (1999)
Antônio Carlos Lima de Santana, Antônio Francisco do Prado, Wanderley Lopes de Souza, Marcelo Sant'Anna
Automatic Refinement of Distributed Systems Specifications Using Program Transformations. COMPSAC (1998)