4. Symposium on Programming 1980: Paris, France

@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
  

Last update Fri May 25 08:33:28 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page