Data/hora: 03/06/2024 18:30:43

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