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...
| Autores principales: | , , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Portugués |
| Publicado: |
1998
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24899 |
| Aporte de: |
| id |
I19-R120-10915-24899 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Portugués |
| topic |
Ciencias Informáticas Informática Parallel processing Interpretação Abstrata Programação em Lógica e Processamento Paralelo |
| spellingShingle |
Ciencias Informáticas Informática Parallel processing Interpretação Abstrata Programação em Lógica e Processamento Paralelo Barbosa, Jorge L. V. Geyer, Cláudio Fernando Resin Castro, Luis Fernando Pias de Azevedo, Silvana Campos de Integração party-granlog: interpretação abstrata aplicada a paralelização de programas em lógica |
| topic_facet |
Ciencias Informáticas Informática Parallel processing Interpretação Abstrata Programação em Lógica e Processamento Paralelo |
| description |
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álise estática de modos, tipos, medidas e dependências dos argumentos de um programa Prolog. Atualmente a análise de modos, tipos e medidas não é automática, o programador adiciona estas informações ao código fonte.
A análise estática pode ser realizada através da técnica de Interpretação Abstrata.
Esta técnica simula a execução de um programa segundo um domínio abstrato obtendo informações sobre o seu comportamento. O ParTy realiza a interpretação abstrata de tipos para os argumentos de um programa Prolog. A integração ParTy-Granlog torna automática a análise de tipos no modelo Granlog. |
| format |
Objeto de conferencia Objeto de conferencia |
| author |
Barbosa, Jorge L. V. Geyer, Cláudio Fernando Resin Castro, Luis Fernando Pias de Azevedo, Silvana Campos de |
| author_facet |
Barbosa, Jorge L. V. Geyer, Cláudio Fernando Resin Castro, Luis Fernando Pias de Azevedo, Silvana Campos de |
| author_sort |
Barbosa, Jorge L. V. |
| title |
Integração party-granlog: interpretação abstrata aplicada a paralelização de programas em lógica |
| title_short |
Integração party-granlog: interpretação abstrata aplicada a paralelização de programas em lógica |
| title_full |
Integração party-granlog: interpretação abstrata aplicada a paralelização de programas em lógica |
| title_fullStr |
Integração party-granlog: interpretação abstrata aplicada a paralelização de programas em lógica |
| title_full_unstemmed |
Integração party-granlog: interpretação abstrata aplicada a paralelização de programas em lógica |
| title_sort |
integração party-granlog: interpretação abstrata aplicada a paralelização de programas em lógica |
| publishDate |
1998 |
| url |
http://sedici.unlp.edu.ar/handle/10915/24899 |
| work_keys_str_mv |
AT barbosajorgelv integracaopartygranloginterpretacaoabstrataaplicadaaparalelizacaodeprogramasemlogica AT geyerclaudiofernandoresin integracaopartygranloginterpretacaoabstrataaplicadaaparalelizacaodeprogramasemlogica AT castroluisfernandopiasde integracaopartygranloginterpretacaoabstrataaplicadaaparalelizacaodeprogramasemlogica AT azevedosilvanacamposde integracaopartygranloginterpretacaoabstrataaplicadaaparalelizacaodeprogramasemlogica |
| bdutipo_str |
Repositorios |
| _version_ |
1764820466551226369 |