International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 (Lecture Notes in Computer Science, 83)

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