Abstract is missing.
- Static Type Checking for Languages with Parametric Types and Polymorphic ProceduresRoberto Barbuti, Alberto Martelli. 1-16
- Concrete Control Phases in Languages for Programming Complex SystemsJohn A. Barnden. 17-29
- Types algébriques et sémantique des langages de programmationDidier Bert. 30-43
- Towards a Theory of Abstract Data Types: A Discussion on Problems and ToolsAlberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli. 44-58
- On Relations Between ProgramsManfred Broy, Peter Pepper, Martin Wirsing. 59-78
- A Communication Data Type for Message Oriented ProgrammingP. R. F. Cunha, T. S. E. Maibaum. 79-91
- Processus non-séquentiels et leurs observations en univers non-centraliséPhilippe Darondeau. 92-107
- A Case Study of Abstract Implementations and Their CorrectnessHartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz. 108-122
- About Program Termination and SimplificationF. Ermine, Irène Guessarian. 123-135
- A Relational Model for Non-Deterministic Programs and Predicate TransformersPedro Guerreiro. 136-146
- Structures de contrôle et puissances d expressionC. Henry. 147-161
- Conception et optimisation des descentes récursivesThanh-Huy Hua. 162-176
- An Algebraic Structure of Petri NetsRyszard Janicki. 177-192
- An Algorithm for Translating Lisp Programs into Reduction Language ProgramsAlexis Koster. 193-206
- Concurrent Operations in Large Ordered IndexesYat-Sang Kwong, Derick Wood. 207-222
- A Cosy BankerPeter E. Lauer, Piero R. Torrigiani, Raymond R. Devillers. 223-239
- Semantics for LISP without Reference to an InterpreterWolfram-Manfred Lippe, Friedemann H. Simon. 240-255
- Parallelism in Ada: Program Design and MeaningBrian H. Mayoh. 256-268
- The Theory and Practice of Transforming Call-by-need into Call-by-valueAlan Mycroft. 269-281
- A Model-Theoretic Approach to Specification, Extension, and ImplementationCyrus F. Nourani. 282-297
- Echappements et continuations en sémantique dénotationnellePatrick Sallé. 298-310
- Suggestions for Composing and Specifying Program Design DecisionsMichel Sintzoff. 311-326
- Making Programs more ReadableJ. L. Weiner, Rod M. Burstall. 327-341