| |
|
|
|
Registro Completo |
|
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: |
-- |
|
Marc: |
LEADER 01575naa a2200169 a 4500
001 1005987
005 2007-09-20
008 1996 bl uuuu u00u1 u #d
100 1 $aBARBOSA, J. L. V.
245 $aAnálise global na programação em lógica.
260 $c1996
300 $ap.89-102
520 $aEste 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.
653 $aLinguagens de programação
653 $aProgramming language
700 1 $aGEYER, C. F. R.
773 $tIn: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais... Belo Horizonte: SBC / UFMG, 1996.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 259 | |
| 83. |  | BARBOSA, J.; CHIMATTI, C. Z.; NOVAES, T. G.; ALMEIDA, W. P. de; MEHTA, Y. R. Variabilidade fenotípica entre isolados de Ramularia areola do algodoeiro brasileiro. In: CONGRESSO BRASILEIRO DE ALGODÃO, 8.; COTTON EXPO, 1., 2011, São Paulo. Evolução da cadeia para construção de um setor forte: Anais. Campina Grande, PB: Embrapa Algodão, 2011. p.478-483| Biblioteca(s): Embrapa Algodão. |
|    |
| 84. | | RODRIGUES, I. C. dos S.; OLIVEIRA, M. E. C.; BARBOSA, J. R. Síntese de HDL de magnésio para recuperação do carotenoide do óleo de palma. In: SIMPÓSIO DE ESTUDOS E PESQUISAS EM CIÊNCIAS AMBIENTAIS NA AMAZÔNIA, 6., 2017, Belém, PA. Anais. Belém, PA: UEPA, 2017. v. 1, p. 590-599.| Tipo: Artigo em Anais de Congresso |
| Biblioteca(s): Embrapa Amazônia Oriental. |
| |
| 86. | | MACEDO, M. A.; BARBOSA, J. C.; MICHEREFF FILHO, M.; BRGAMIN FILHO, A.; INOUE-NAGATA, A. K. I. Análise espacial preliminar de viroses transmitidas por mosca-branca no Distrito Federal. Tropical Plant Pathology, Brasília, DF, v. 37, 2012. 1 CD-ROM. Suplemento. Edição do 45º Congresso Brasileiro de Fitopatologia, 2012, Manaus. Resumo 378.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Hortaliças. |
| |
| 87. | | BATISTA, D. da C.; LIMA NETO, F. P.; BARBOSA, J. da S.; AMORIM, C. C. de; BARBOSA, M. A. G. Avaliação da resistência de 47 acessos de mangueira aos fungos Fusicoccum aesculis e Neofusicoccum parvum. Revista Brasileira de Fruticultura, Jaboticabal, v. 34, n. 3, p. 823-831, set. 2012.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 2 |
| Biblioteca(s): Embrapa Semiárido. |
| |
| 88. | | BALAN, A.; SANTACRUZ-PÉREZ, C.; MOUTRAN, A.; FERREIRA, L. C. S.; NESHICH, G.; BARBOSA, J. A. R. G. Crystallographic structure and substrate-binding interactions of the molybdate-binding protein of the phytopathogen Xanthomonas axonopodis pv. citri. Biochimica et Biophysica Acta, v. 1784, n. 2, p. 393-399, 2008.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: Internacional - A |
| Biblioteca(s): Embrapa Agricultura Digital. |
|  |
| 90. | | ALVES, H. M. R.; VALPATO, M. M. L.; VIEIRA, T. G. C.; BORÉM, F. M.; BARBOSA, J. N. Características ambientais e qualidade da bebida dos cafés do estado de Minas Gerais. Informe Agropecuário, Belo Horizonte, v.32, n.261, p.18-29, mar./abr. 2011.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 4 |
| Biblioteca(s): Embrapa Café. |
| |
| 91. | | CIVIDANES, F. J.; MARTINS, I. C. F.; ARAUJO, E. S.; BARBOSA, J. C.; IDE, S.; PERIOTO, N. W. Faunistic analysis of Carabidae and Staphylinidae (Coleoptera) in five agroecosystems in the Northeastern region of the São Paulo state. In: INTERNATIONAL COLLOQUIUM ON SOIL ZOOLOGY, 15; INTERNATIONAL COLLOQUIUM ON APTERYGOTA, 12., 2008, Curitiba. Biodiversity, conservation and sustainabele management of soil animal: abstracts. Colombo: Embrapa Florestas. Editors: George Gardner Brown; Klaus Dieter Sautter; Renato Marques; Amarildo Pasini. 1 CD-ROM.| Biblioteca(s): Embrapa Florestas. |
| |
| 92. | | SOUZA, H. A. de; HERNANDES, A.; ROMUALDO, L. M.; ROZANE, D. E.; NATALE, W.; BARBOSA, J. C. Folha diagnóstica para avaliação do estado nutricional do feijoeiro. Revista Brasileira de Engenharia Agrícola e Ambiental, v. 15, n. 12, p. 1243-1250, 2011.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 1 |
| Biblioteca(s): Embrapa Caprinos e Ovinos. |
| |
| 93. | | ALMEIDA, M. M. S.; HOFFMANN, L. V.; BARBOSA, J. C.; ARANHA, S. A.; INOUE-NAGATA, A. K. Malvaceous plants are infected with novel Begomovirus species. In: INTERNATIONAL GEMINIVIRUS SYMPOSIUM, 6.; INTERNATIONAL SSDNA COMPARATIVE VIROLOGY WORKSHOP, 4., 2010, Guanajuato. Resumos... Mexico: [s.n.], 2010. p. 21.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Algodão. |
| |
| 94. | | CARNEIRO, T. F.; FINGER, F. L.; SANTOS, V. R. dos; NEVES, L. L. de M.; BARBOSA, J. G. Influência da sacarose e do corte da base da haste na longevidade de inflorescências de Zinnia elegans. Pesquisa Agropecuária Brasileira, Brasília, DF, v. 37, n. 8, p. 1065-1070, ago. 2002 Título em inglês: Longevity of Zinnia elegans inflorescences affected by sucrose and recuts of the stem.| Biblioteca(s): Embrapa Unidades Centrais. |
| |
| 96. | | FRANCO, R. A.; REIS, P. R.; ZACARIAS, M. S.; ALTOÉ, B. F.; BARBOSA, J. P. R. A. D. Influência da infestação de Oligonychus ilicis (McGregor, 1917) (Acari: tetranychidae) sobre a taxa de fotossíntese potencial de folhas de cafeeiro. In.: ARQUIVO DO INSTITUTO BIOLÓGICO, São Paulo, v.76, n.2, p.205-210, abr-jun. 2009.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 2 |
| Biblioteca(s): Embrapa Café. |
| |
| 97. | | BARBOSA, J. S.; AZEVEDO, M. dos S. F. R. de; MENDONÇA, M. M. de; UZEDA, M. C. A importância das feiras para o fortalecimento da agricultura urbana no Município do Rio de Janeiro. In: ARAUJO, F. de CA. D.; DIAS, A. (org.). Ensino, pesquisa e extensão em agroecologia e agricultura orgânica: dez anos do Programa de Pós-Graduação em Agricultura Orgânica. Seropédica: PPGAO, 2022. Comissão Editorial: Adriana Maria de Aquino, Anelise Dias, Higino Marcos Lopes, Maria Fernanda de Albuquerque, Costa Fonseca, Renato Linhares de Assis. p. 188-200| Tipo: Capítulo em Livro Técnico-Científico |
| Biblioteca(s): Embrapa Agrobiologia. |
| |
| 98. | | BARBOSA, J. da S.; AMORIM, C. C. de; BARBOSA, M. A. G.; TERAO, D.; BATISTA, D. da C. Efeito da temperatura no crescimento micelial de Fusicoccum aesculis isolado de mangueira. In: JORNADA DE INICIAÇÃO CIENTÍFICA DA EMBRAPA SEMIÁRIDO, 6., 2011, Petrolina. Anais... Petrolina: Embrapa Semiárido, 2011. p. 219-223. (Embrapa Semiárido. Documentos, 238).| Tipo: Artigo em Anais de Congresso |
| Biblioteca(s): Embrapa Semiárido. |
| |
| 99. | | AMORIM, C. C. de; BARBOSA, J. da S.; BARBOSA, M. A. G.; TERAO, D.; BATISTA, D. da C. Efeito da temperatura no crescimento micelial de Neofusicoccum parvum isolado de mangueira. In: JORNADA DE INICIAÇÃO CIENTÍFICA DA EMBRAPA SEMIÁRIDO, 6., 2011, Petrolina. Anais... Petrolina: Embrapa Semiárido, 2011. p. 269-273. (Embrapa Semiárido. Documentos, 238).| Tipo: Artigo em Anais de Congresso |
| Biblioteca(s): Embrapa Semiárido. |
| |
| 100. | | BASSANEZI, R. B.; MONTESINO, L. H.; SANCHES, A. L.; SPÓSITO, M. B.; STUCHI, E. S.; BARBOSA, J. C. Effect of citrus sudden death on yield and quality of sweet orange cultivars in Brazil. Plant Disease, St. Paul, v. 91, n. 11, 1407-1412, nov. 2007.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: Internacional - A |
| Biblioteca(s): Embrapa Mandioca e Fruticultura. |
| |
| Registros recuperados : 259 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
