Conferences in DBLP

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

1. André Arnold, Pascal Guitton
   Un modèle de description de protocoles: les reéseaux fermés d'atuomates triphasés. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1984, pp:1-12 [Conf]
   
2. H. Bahsoun, Claude Bétourné, Louis Féraud
   Une expression de la synchronisatin et de l'oronnancement des processus concurrents par variables partagées. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1984, pp:13-22 [Conf]
   
3. Patrick Bellot
   Sémantiques comparées des systeèmes de programmation fonctioneele FP et FFP de J. W. Backus. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1984, pp:23-34 [Conf]
   
4. Alain Bossavit
   Le type abstrait vecteur et les méthodes de programmation des ordinateurs vectoriels. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1984, pp:35-46 [Conf]
   
5. Vincenza Carchiolo, Alberto Faro, F. Minissale, Giuseppe Scollo
   Some Topics in the Design of the Specification Language Lotos. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1984, pp:47-58 [Conf]
   
6. Ana R. Cavalli, Luis Fariñas del Cerro
   Specification and Verification of Networks Protocols Using. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1984, pp:59-73 [Conf]
   
7. Pierre Cointe
   Ue implémentation des coroutines en Lisp, application à Smalltalk. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1984, pp:74-88 [Conf]
   
8. J. C. Cottet, Claude Renvoise, D. Sciamma
   Vesta: Vectorisation automatique et paramétrée de programmes. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1984, pp:89-100 [Conf]
   
9. J. Finet, Patrick Sallé
   L'inclusion de filtres: une approche de la création d'environnements symboliquesen Plasma. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1984, pp:101-112 [Conf]
   
10. P. Feautrier
    Projet Vesta: outil de calcul symbolique. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1984, pp:113-124 [Conf]
    
11. Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren
    The program Dependence Graph and its Use in Optimization. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1984, pp:125-132 [Conf]
    
12. Pedro Guerreiro
    Implementations of Nondeterministic Programs. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1984, pp:133-144 [Conf]
    
13. Stephan Heilbrunner, Lothar Schmitz
    For Statements with Restricted Enumerations. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1984, pp:145-154 [Conf]
    
14. Ryszard Janicki
    A Method for Developing Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1984, pp:155-166 [Conf]
    
15. Martin Jourdan
    An Optimal-time Recursive Evaluator for Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1984, pp:167-178 [Conf]
    
16. Maciej Koutny
    On the Merlin-Randell Problem of Train Journeys. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1984, pp:179-190 [Conf]
    
17. E. Madelaine
    Un système d'aide à la preuve de compilateurs. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1984, pp:191-205 [Conf]
    
18. Silvio Romero de Lemos Meira
    Optimized Combinatoric Code for Applicative Language Implementation. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1984, pp:206-216 [Conf]
    
19. Alan Mycroft
    Polymorphic Type Schemes and Recursive Definitions. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1984, pp:217-228 [Conf]
    
20. M. W. Shields
    Non-Sequential Behaviour. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1984, pp:229-239 [Conf]
    
21. Morris M. Siegel
    Proving Properties of SNOBOL 4 Patterns: Selecting the Assertion Format. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1984, pp:240-250 [Conf]
    
22. Scott A. Smolka
    Polynomial-Time Analysis for a Class of Communicating processes. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1984, pp:250-262 [Conf]