Navegação Ciências Exatas e da Terra por Autor "Barbosa, Jorge L.V."
Resultados 1-3 de 3
-
A interpretação abstrata aplicada na análise de granulosidade de programas em lógica
Azevedo, Silvana C. (1998) [Resumo publicado em evento] -
ORCA (Or Complexity Analyzer): analisador automático de complexidade OU.
Trevisan, Thobias Salazar (1998) [Resumo publicado em evento] -
Programação multiparadigma na linguagem OZ.
Goulart, Peter C. (1998) [Resumo publicado em evento]