Available services

Partilhar

Renkum meeting dossier

Description level
File File
Reference code
PT/UM-ADB/ASS/IFIP/TC2-WG2.1/007/00268
Title type
Atribuído
Date range
1993-12-30 Date is uncertain to 1994-01-07 Date is uncertain
Dimension and support
1 dossier
Geographic name
Renkum (Holanda)
Scope and content
Renkum meeting related documents: Na algebra for proofs by Michel Sintzoff; Incomplete draft-for comment. Undefined: is it "I don't care or I won't say"? By C. H. Lindsey; Synthesis of programs from unfold/fold proofs by Maurizio Proietti and Alberto Pettorossi; Incremental optimum-fit line breaking by Lambert Meertens; Algebraic models of graphs by Jeremy Gibbons; Relation Algebras are models of noncommutative propositional linear logic by Jules Desharnais, Bernard Hodgson and John Mullins; Gofer goes Bananas by Erik Meijer; Ideal Streams by Berhnard Moller; Formal derivation of SIMD parallelism from non-linear recursive specifications by A. M. Geerling; Transformational derivation of (parallel) programs using skeletons by Eerke A. boiten, A. Max Geerling and Helmut A. Partsch.



Reunião de Renkum, documentos relacionados: Álgebra de Na para provas, de Michel Sintzoff; Esboço incompleto - para comentário. Indefinido: é "não me importo ou não direi"?, por C. H. Lindsey; Síntese de programas de provas de desdobramento / dobras, de Maurizio Proietti e Alberto Pettorossi; Quebra de linha de ajuste ótimo incremental, por Lambert Meertens; Modelos algébricos de grafos, de Jeremy Gibbons; Álgebras de relação são modelos de lógica linear proposicional não-comutativa, de Jules Desharnais, Bernard Hodgson e John Mullins; Gofer Gos Bananas, por Erik Meijer; Correntes ideais, por Berhnard Moller; Derivação formal do paralelismo SIMD a partir de especificações recursivas não lineares de A. M. Geerling; Derivação transformacional de programas (paralelos) usando esqueletos, por Eerke A. boiten, A. Max Geerling e Helmut A. Partsch.
Physical location
I-24-B-2-0268
Language of the material
ENG (English)
Physical characteristics and technical requirements
bom
Notes
Proveniência: Charles H. Lindsey.
 
Lang=pt   Lang=