4. Symposium on Programming 1980: Paris, France

Bernard Robinet (Ed.): International Symposium on Programming, Proceedings of the Fourth 'Colloque International sur la Programmation', Paris, France, 22-24 April 1980. Lecture Notes in Computer Science 83 Springer 1980, ISBN 3-540-09981-6

@proceedings{DBLP:conf/programm/1980,
  editor    = {Bernard Robinet},
  title     = {International Symposium on Programming, Proceedings of the Fourth
               'Colloque International sur la Programmation', Paris, France,
               22-24 April 1980},
  booktitle = {Symposium on Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {83},
  year      = {1980},
  isbn      = {3-540-09981-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Roberto Barbuti, Alberto Martelli: Static Type Checking for Languages with Parametric Types and Polymorphic Procedures. 1-16
John A. Barnden: Concrete Control Phases in Languages for Programming Complex Systems. 17-29
Didier Bert: Types algébriques et sémantique des langages de programmation. 30-43
Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli: Towards a Theory of Abstract Data Types: A Discussion on Problems and Tools. 44-58
Manfred Broy, Peter Pepper, Martin Wirsing: On Relations Between Programs. 59-78
P. R. F. Cunha, T. S. E. Maibaum: A Communication Data Type for Message Oriented Programming. 79-91
Philippe Darondeau: Processus non-séquentiels et leurs observations en univers non-centralisé. 92-107
Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: A Case Study of Abstract Implementations and Their Correctness. 108-122
F. Ermine, Irène Guessarian: About Program Termination and Simplification. 123-135
Pedro Guerreiro: A Relational Model for Non-Deterministic Programs and Predicate Transformers. 136-146
C. Henry: Structures de contrôle et puissances d'expression. 147-161
Thanh-Huy Hua: Conception et optimisation des descentes récursives. 162-176
Ryszard Janicki: An Algebraic Structure of Petri Nets. 177-192
Alexis Koster: An Algorithm for Translating Lisp Programs into Reduction Language Programs. 193-206
Yat-Sang Kwong, Derick Wood: Concurrent Operations in Large Ordered Indexes. 207-222
Peter E. Lauer, Piero R. Torrigiani, Raymond R. Devillers: A Cosy Banker. 223-239
Wolfram-Manfred Lippe, Friedemann H. Simon: Semantics for LISP without Reference to an Interpreter. 240-255
Brian H. Mayoh: Parallelism in Ada: Program Design and Meaning. 256-268
Alan Mycroft: The Theory and Practice of Transforming Call-by-need into Call-by-value. 269-281
Cyrus F. Nourani: A Model-Theoretic Approach to Specification, Extension, and Implementation. 282-297
Patrick Sallé: Echappements et continuations en sémantique dénotationnelle. 298-310
Michel Sintzoff: Suggestions for Composing and Specifying Program Design Decisions. 311-326
J. L. Weiner, Rod M. Burstall: Making Programs more Readable. 327-341