Desenvolvimento de programas por transformações: uma comparação entre dois métodos (1978)
- Authors:
- Autor USP: SETZER, VALDEMAR WAINGORT - IME
- Unidade: IME
- Assunto: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
- Language: Português
- Abstract: São abordados dois métodos de desen volvimento de programas por meio de transformações: o método de Burstall e Darlington e o método de Bauer et al. Para efeito de compara ção, é apresentado o desenvolvimento de um programa que verifica se um número natural é ou não primo. O problema é especificado sob forma de uma sentença do cálculo de predicados, a partir da qual são feitas as transformações até atingir-se um algoritmo recursivo, após o que a recursão é eliminada. Para isso, introduzimos uma extensão no método de Burstall e Darlington, pois segundo este parte-se de uma formulação já recursiva (indutiva). A versão recursiva é a mesma nos dois métodos, mas o método de Bauer apresenta maior flexibilidade na eliminação da recursão e posteriores - transformações visando a melhoria da eficiência, por utilizar-se de formulação de procedimentos, ao contrário do outro método, que usa somente funções, sem variáveis, comandos, etc. A existência de uma Linguagem de Amplo Espectro, introduzida por Bauer et al., provê a base para as várias versões dos programas no me todo correspondente.
- Imprenta:
-
ABNT
SETZER, Valdemar Waingort e BRESSAN, Graça. Desenvolvimento de programas por transformações: uma comparação entre dois métodos. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/2547a81f-925d-44f7-a4c7-511482478410/316589.pdf. Acesso em: 08 out. 2024. , 1978 -
APA
Setzer, V. W., & Bressan, G. (1978). Desenvolvimento de programas por transformações: uma comparação entre dois métodos. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/2547a81f-925d-44f7-a4c7-511482478410/316589.pdf -
NLM
Setzer VW, Bressan G. Desenvolvimento de programas por transformações: uma comparação entre dois métodos [Internet]. 1978 ;[citado 2024 out. 08 ] Available from: https://repositorio.usp.br/directbitstream/2547a81f-925d-44f7-a4c7-511482478410/316589.pdf -
Vancouver
Setzer VW, Bressan G. Desenvolvimento de programas por transformações: uma comparação entre dois métodos [Internet]. 1978 ;[citado 2024 out. 08 ] Available from: https://repositorio.usp.br/directbitstream/2547a81f-925d-44f7-a4c7-511482478410/316589.pdf - Dia da computação: para uma introdução rápida ao computador
- Recursos humanos em fase de transformação
- Projeto lógico e projeto físico de bancos de dados
- FUSP - um compilador FORTRAN para programa-objeto codificado
- Receituário resumido do word 4 - ( versao 3.3 )
- Um grafo sintático para a linguagem PL/M-80
- Uso de computadores em escolas: fundamentos e criticas
- Modelo relacional - alguns problemas, algumas soluções
- Novo algoritmo de concorrência para acesso e compactação de arvores-b
- Manifesto contra o uso de computadores no ensino de 1. Grau
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
316589.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas