Conferences in DBLP

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

1. Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli
   Applicative communicating processes in first order logic. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1982, pp:1-14 [Conf]
   
2. David B. Benson
   A machine level semantics for nondeterministic, parallel programs. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1982, pp:15-25 [Conf]
   
3. Jan A. Bergstra, Jan Willem Klop
   A formalized proof system for total correctness of while programs. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1982, pp:26-36 [Conf]
   
4. Ernesto Costa
   Automatic program transformation viewed as theorem proving. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1982, pp:37-46 [Conf]
   
5. Philippe Darondeau
   An enlarged definition and complete axiomatization of observational congruence of finite processes. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1982, pp:47-62 [Conf]
   
6. Ph. Deschamp
   Perluette: A compilers producing system using abstract data types. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1982, pp:63-77 [Conf]
   
7. P. Emanuelson
   From abstract model to efficient compilation of patterns. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1982, pp:91-104 [Conf]
   
8. Agneta Eriksson
   Computer-based synthesis of logic programs. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1982, pp:105-115 [Conf]
   
9. Marie-Paule Flé, Gérard Roucairol
   On some syntactic equivalence of program schemas and related transformations. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1982, pp:116-131 [Conf]
   
10. Rob Gerth, Willem P. de Roever, Marly Roncken
    Procedures and concurrency: A study in proof. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:132-163 [Conf]
    
11. Pedro Guerreiro
    Another characterization of weakest preconditions. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:164-177 [Conf]
    
12. Matthew Hennessy
    Powerdomains and nondeterministic recursive definitions. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:178-193 [Conf]
    
13. Peter G. Hibbard, Thomas L. Rodeheffer
    Optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-line code. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:194-211 [Conf]
    
14. J. Roger Hindley
    The simple semantics for Coppe-Dezani-Sallé types. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:212-226 [Conf]
    
15. László Kozma
    Proving the correctness of implementations of shared data abstractions. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:227-241 [Conf]
    
16. Jacek Leszczylowski, Martin Wirsing
    A system for reasoning within and about algebraic specifications. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:257-282 [Conf]
    
17. Alfred Laut, Helmuth Partsch
    Tuning algebraic specifications by type merging. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:283-304 [Conf]
    
18. Alberto Pettorossi, Andrzej Skowron
    Communicating agents for applicative concurrent programming. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:305-322 [Conf]
    
19. Axel Poigné
    On effective computations of nondeterministic schemes. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:323-336 [Conf]
    
20. Jean-Pierre Queille, Joseph Sifakis
    Specification and verification of concurrent systems in CESAR. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:337-351 [Conf]
    
21. John M. Rushby
    Proof of separability: A verification technique for a class of a security kernels. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:352-367 [Conf]
    
22. Miklós Szöts, Sándor Csizmazia
    A method for program synthesis. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:368-380 [Conf]
    
23. Judy A. Townley
    The use of transformations to implement an algorithm. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:381-408 [Conf]