International Symposium on Programming

Inhaltsverzeichnis

• Un modele de description de protocoles : Les reseaux fermes d'automates triphases.
• Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees.
• Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J. W. Backus.
• Le type abstrait „vecteur“ et les methodes de programmation des ordinateurs vectoriels.
• Some topics in the design of the specification language lotos.
• Specification and verification of networks protocols using temporal logic.
• Une implémentation des coroutines en Lisp, application à Smalltalk.
• Vesta Vectorisation automatique et parametree de programmes.
• L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma.
• Projet Vesta.
• The program dependence graph and its use in optimization.
• Implementations of nondeterministic programs.
• For statements with restricted enumerations.
• A method for developing concurrent systems.
• An optimal-time recursive evaluator for attribute grammars.
• On the Merlin-Randell problem of train journeys.
• Un systeme d'aide a la preuve de compilateurs.
• Optimized combinatoric code for applicative language implementation.
• Polymorphic type schemes and recursive definitions.
• Non-sequential behaviour.
• Proving properties of Snobol4 patterns: Selecting the assertion format.
• Polynomial-time analysis for a class of communicating processes.