The line-justifier: an example of program development by transformations (1978)
- Authors:
- Autor USP: SETZER, VALDEMAR WAINGORT - IME
- Unidade: IME
- Assunto: CIÊNCIA DA COMPUTAÇÃO
- Language: Inglês
- Imprenta:
-
ABNT
HESSE, William e SETZER, Valdemar Waingort. The line-justifier: an example of program development by transformations. . São Paulo: IME-USP. . Acesso em: 22 jan. 2026. , 1978 -
APA
Hesse, W., & Setzer, V. W. (1978). The line-justifier: an example of program development by transformations. São Paulo: IME-USP. -
NLM
Hesse W, Setzer VW. The line-justifier: an example of program development by transformations. 1978 ;[citado 2026 jan. 22 ] -
Vancouver
Hesse W, Setzer VW. The line-justifier: an example of program development by transformations. 1978 ;[citado 2026 jan. 22 ] - Abstração e algoritmos
- Auto-relacionamentos de grau variável e sua implementação
- Verdades sobre o gerador de aplicações
- Recursos humanos em fase de transformação
- Novo algoritmo de concorrência para acesso e compactação de arvores-b
- Um novo algoritmo de concorrência para acesso e compactação de arvores-b
- Metodo de projeto de arquivos para o sistema image/3000
- Sociedade informatizada: nova vida ou distribuição?
- Sistema simples para documentação semi-automática de programas
- FUSP - um compilador FORTRAN para programa-objeto codificado
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
