Data/hora: 25/06/2024 12:31:15

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