Integração party-granlog: interpretação abstrata aplicada a paralelização de programas em lógica

Este trabalho apresenta a integração dos modelos ParTy e Granlog. O ParTy (Parallel Types Analyzer) é um interpretador abstrato de tipos. O Granlog (Granularity Analyzer for LOGic programming) é um analisador automático de granulosidade na Programação em Lógica. O modelo Granlog necessita da anális...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Barbosa, Jorge L. V., Geyer, Cláudio Fernando Resin, Castro, Luis Fernando Pias de, Azevedo, Silvana Campos de
Formato: Objeto de conferencia
Lenguaje:Portugués
Publicado: 1998
Materias:
Ciencias Informáticas
Informática
Parallel processing
Interpretação Abstrata
Programação em Lógica e Processamento Paralelo
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24899
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares