Conferences in DBLP

Symposium on Programming (programm)
1980 (conf/programm/1980)

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