Data/hora: 29/05/2024 00:31:44

Biblioteca(s): | Embrapa Unidades Centrais.
Data corrente: | 30/09/1997
Data da última atualização: | 12/12/2007
Autoria: | COSTA, M. M. do C.
Afiliação: | DIN.
Título: | Descrição e implementação de um tradutor pascal para o código executável sob a forma de cláusulas.
Ano de publicação: | 1985
Fonte/Imprenta: | Rio de Janeiro: PUC, 1985.
Páginas: | 108p.
Idioma: | Português
Notas: | Tese Mestrado.
Conteúdo: | A necessidade do "software" confiável e a busca de maiores conhecimentos sob a programação tem motivado as pesquisas para a elaboração de técnicas para provar fatos sobre programas, e em particular sua correção. A possibilidade do uso de técnicas como execução simbólica e execução controlada de trechos de programas através de sua representação sob a forma de cláusulas e do principio de resolução constitui uma importante contribuição para estudos nesta área. Esta dissertação apresenta a especificação e implemantação de um tradutor PASCAL. Este tradutor transforma um programa fonte, utilizando um analisador sintático SLR e ações semânticas especificadas em gramática de atributos, em cláusulas da lógica de primeira ordem, objetivando a sua análise.
Palavras-Chave: | Analysis; Computer; Pascal; Programação; Programming.
Thesagro: | Análise; Computador.
Categoria do assunto: | --
Registro original: | Embrapa Unidades Centrais (AI-SEDE)
Exemplares: | AI-SEDE - (5140-1) - UPC - TS - -- - 85/003 - COS - 1985.00003 - DIS