International Symposium on Programming: 6th Colloquium Toulouse, April 17–19, 1984 Proceedings [1 ed.] 3540129251, 9783540129257 [DJVU]

Table of contents :
Un modele de description de protocoles : Les reseaux fermes d'automates triphases....Pages 1-12
Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees....Pages 13-22
Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus....Pages 23-34
Le type abstrait "vecteur" et les methodes de programmation des ordinateurs vectoriels....Pages 35-46
Some topics in the design of the specification language lotos....Pages 47-58
Specification and verification of networks protocols using temporal logic....Pages 59-73
Une implémentation des coroutines en Lisp, application à Smalltalk....Pages 74-88
Vesta Vectorisation automatique et parametree de programmes....Pages 89-100
L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma....Pages 101-112
Projet Vesta....Pages 113-124
The program dependence graph and its use in optimization....Pages 125-132
Implementations of nondeterministic programs....Pages 133-144
For statements with restricted enumerations....Pages 145-154
A method for developing concurrent systems....Pages 155-166
An optimal-time recursive evaluator for attribute grammars....Pages 167-178
On the Merlin-Randell problem of train journeys....Pages 179-190
Un systeme d'aide a la preuve de compilateurs....Pages 191-205
Optimized combinatoric code for applicative language implementation....Pages 206-216
Polymorphic type schemes and recursive definitions....Pages 217-228
Non-sequential behaviour....Pages 229-239
Proving properties of Snobol4 patterns: Selecting the assertion format....Pages 240-250
Polynomial-time analysis for a class of communicating processes....Pages 251-262