default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. Symposium on Programming 1980: Paris, France
- Bernard J. Robinet:
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 - 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 - Paulo 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 Devillers:
Specification of highly parallel and distributed resource management. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
