Available services

Partilhar

Newbury meeting dossier

Description level
File File
Reference code
PT/UM-ADB/ASS/IFIP/TC2-WG2.1/007/00254
Title type
Atribuído
Date range
1981-10 Date is uncertain to 1981-12-03 Date is uncertain
Dimension and support
1 dossier
Geographic name
Newbury (Berkshire, Inglaterra)
Scope and content
Circular letter of Ribert B. K. Dewar to members and observers of WG 2.1 concerning technical details of the meeting and a lista of issues; "A comprehensive survey on program transformation systems" H. Partsch and R. Steinbruggen; "Implementing specification freedoms" by Philip London and Martín Feather (with a note: submitted to science of computer programming to appear as I.S.I. research report 81-100; copy of manuscript "A model of abstracto; "Generator Expressions" by David S. Wile; "Derivation of an upsequence algorithm by transformational programming" by R. S. Bird; handwritten notes - E is a language of expressions (Meertens); "Further thoughts on Abstracto" by H. J. Boom; handwritten notes 408 ECL-10 and 409 ELC-11 J. Schwartz.



Carta circular de Ribert B. K. Dewar aos membros e observadores do WG 2.1 sobre os detalhes técnicos da reunião e uma lista de questões; "Uma pesquisa abrangente sobre sistemas de transformação de programas" H. Partsch e R. Steinbruggen; "Implementando as liberdades de especificação", por Philip London e Martín Feather (com uma nota: submetida à ciência da programação de computadores para aparecer como relatório de pesquisa ISI 81-100; cópia do manuscrito "Um modelo de abstracto"; Gerador de Expressões", por David S. Wile "Derivação de um algoritmo de sequência pela programação transformacional", por RS Bird; notas manuscritas - E é uma linguagem de expressões (Meertens); "Further thoughts on Abstracto", de HJ Boom; notas manuscritas 408 ECL-10 e 409 ELC-11 J Schwartz.
Physical location
I-24-B-2-0254
Language of the material
ENG (English)
Physical characteristics and technical requirements
razoável
Notes
Proveniência: Charles H. Lindsey.
 
Lang=pt   Lang=