6. Symposium on Programming 1984: Toulouse, France

Manfred Paul, Bernard Robinet (Eds.): International Symposium on Programming, 6th Colloquium, Toulouse, April 17-19, 1984, Proceedings. Lecture Notes in Computer Science 167 Springer 1984, ISBN 3-540-12925-1 BibTeX

@proceedings{DBLP:conf/programm/1984,
  editor    = {Manfred Paul and
               Bernard Robinet},
  title     = {International Symposium on Programming, 6th Colloquium, Toulouse,
               April 17-19, 1984, Proceedings},
  booktitle = {Symposium on Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {167},
  year      = {1984},
  isbn      = {3-540-12925-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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