Data/hora: 23/06/2024 22:48:41

Biblioteca(s): 	Embrapa Unidades Centrais.	
Data corrente: 	03/09/1998	
Data da última atualização: 	12/12/2007	
Autoria: 	ARAUJO, A. R. de.	
Título: 	Um estudo sobre técnicas de transformação de programas.	
Ano de publicação: 	1978	
Fonte/Imprenta: 	1978.	
Páginas: 	113 p.	
Idioma: 	Português	
Notas: 	Tese (Mestrado) - PUC, Rio de Janeiro-RJ	
Conteúdo: 	Este trabalho e um estudo sobre a utilizacao de definicoes semanticas de estruturas de linguagem de programacao, objetivando sua aplicacao para a prova da validade de tecnicas de transformacao de programas. Sao utilizados combinadores logicos para definir a semantica das estruturas. Apresenta-se uma relacao de equivalencia entre estruturas, com exemplos de estruturas equivalentes. Demonstram-se o comportamento das estruturas e as equivalencias apresentadas.	
Palavras-Chave: 	Computação; Computation; Computer; Programação; Programming.	
Thesagro: 	Computador.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Unidades Centrais (AI-SEDE)	
Exemplares: 	AI-SEDE - (15652-1) - ADD - TS - -- - 78/004 - ARA - 1978.00004 - DIS