Abstract is missing.
- Un modèle de description de protocoles: les reéseaux fermés d atuomates triphasésAndré Arnold, Pascal Guitton. 1-12
- Une expression de la synchronisatin et de l oronnancement des processus concurrents par variables partagéesH. Bahsoun, Claude Bétourné, Louis Féraud. 13-22
- Sémantiques comparées des systeèmes de programmation fonctioneele FP et FFP de J. W. BackusPatrick Bellot. 23-34
- Le type abstrait vecteur et les méthodes de programmation des ordinateurs vectorielsAlain Bossavit. 35-46
- Some Topics in the Design of the Specification Language LotosVincenza Carchiolo, Alberto Faro, F. Minissale, Giuseppe Scollo. 47-58
- Specification and Verification of Networks Protocols UsingAna R. Cavalli, Luis Fariñas del Cerro. 59-73
- Ue implémentation des coroutines en Lisp, application à SmalltalkPierre Cointe. 74-88
- Vesta: Vectorisation automatique et paramétrée de programmesJ. C. Cottet, Claude Renvoise, D. Sciamma. 89-100
- L inclusion de filtres: une approche de la création d environnements symboliquesen PlasmaJ. Finet, Patrick Sallé. 101-112
- Projet Vesta: outil de calcul symboliqueP. Feautrier. 113-124
- The program Dependence Graph and its Use in OptimizationJeanne Ferrante, Karl J. Ottenstein, Joe D. Warren. 125-132
- Implementations of Nondeterministic ProgramsPedro Guerreiro. 133-144
- For Statements with Restricted EnumerationsStephan Heilbrunner, Lothar Schmitz. 145-154
- A Method for Developing Concurrent SystemsRyszard Janicki. 155-166
- An Optimal-time Recursive Evaluator for Attribute GrammarsMartin Jourdan. 167-178
- On the Merlin-Randell Problem of Train JourneysMaciej Koutny. 179-190
- Un système d aide à la preuve de compilateursEric Madelaine. 191-205
- Optimized Combinatoric Code for Applicative Language ImplementationSilvio Romero de Lemos Meira. 206-216
- Polymorphic Type Schemes and Recursive DefinitionsAlan Mycroft. 217-228
- Non-Sequential BehaviourM. W. Shields. 229-239
- Proving Properties of SNOBOL 4 Patterns: Selecting the Assertion FormatMorris M. Siegel. 240-250
- Polynomial-Time Analysis for a Class of Communicating processesScott A. Smolka. 250-262