Data/hora: 16/06/2024 20:16:28

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 18/02/1998
Data da última atualização: | 20/09/2007
Autoria: | BARBOSA, J. L. V.; GEYER, C. F. R.
Título: | Análise global na programação em lógica.
Ano de publicação: | 1996
Fonte/Imprenta: | In: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais... Belo Horizonte: SBC / UFMG, 1996.
Páginas: | p.89-102
Idioma: | Português
Conteúdo: | Este texto apresenta um estudo sobre a análise global de programas em lógica, ou seja, aborda a inferência de informações através da análise do texto dos programas. Neste sentido, sao discutidos conceitos relacionados com as linguagens de programação em lógica e apresentado o módulo Analisador Global (AGL) proposto no modelo GRANLOG. Esse modelo dedica-se a análise automática de granulosidade na programação em lógica e possui como principal aplicação a exploração do paralelismo nos programas em lógica. O GRANLOG esta sendo desenvolvido no ambito do projeto OPERA na Universidade Federal do Rio Grande do Sul (UFRGS). Destaca-se ainda nesse trabalho, uma discussão sobre modos, tipos e medidas de tamanho de termos na programação em lógica e especificamente no FRANLOG. Em complemento, discute-se a anáise de dependências nos programas em lógica e apresenta-se o algoritmo proposto para realização dessa análise. Finalmente, o texto demonstra, através de um exemplo, a análise global no modelo GRANLOG.
Palavras-Chave: | Linguagens de programação; Programming language.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (6616-1) - ADD - PL - -- - 005.13 - SIM - 1996.00015 - DIS