International Symposium on Programming: Proceedings of the Fourth ‘Colloque International sur la Programmation’ Paris, 22–24 April 1980

Static type checking for languages with parametric types and polymorphic procedures....Pages 1-16
Concrete control phases in languages for programming complex systems....Pages 17-29
Types algebriques et semantique des langages de programmation....Pages 30-43
Towards a theory of abstract data types: A discussion on problems and tools....Pages 44-58
On relations between programs....Pages 59-78
A communication data type for message oriented programming....Pages 79-91
Processus non-sequentiels et leurs observations en univers non-centralise....Pages 92-107
A case study of abstract implementations and their correctness....Pages 108-122
About program termination and simplification....Pages 123-135
A relational model for non-deterministic programs and predicate transformers....Pages 136-146
Structures de controle et puissances d'expression....Pages 147-161
Conception et optimisation des descentes recursives....Pages 162-176
An algebraic structure of petri nets....Pages 177-192
An algorithm for translating LISP programs into reduction language programs....Pages 193-206
Concurrent operations in large ordered indexes....Pages 207-222
Specification of highly parallel and distributed resource management....Pages 223-239
Semantics for lisp without reference to an interpreter....Pages 240-255
Parallelism in ADA: Program design and meaning....Pages 256-268
The theory and practice of transforming call-by-need into call-by-value....Pages 269-281
A model-theoretic approach to specification, extension, and implementation....Pages 282-297
Échappements et continuations en semantique dénotationnelle....Pages 298-310
Suggestions for composing and specifying program design decisions....Pages 311-326
Making programs more readable....Pages 327-341