+612 9045 4394
 
CHECKOUT
International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings - M. Paul

International Symposium on Programming

6th Colloquium, Toulouse, April 17-19, 1984. Proceedings

By: M. Paul (Editor), B. Robinet (Editor)

Paperback

Published: 1st April 1984
Ships: 5 to 9 business days
5 to 9 business days
$125.05
or 4 easy payments of $31.26 with Learn more
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 implementation des coroutines en Lisp, application a 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.

ISBN: 9783540129257
ISBN-10: 3540129251
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English , French
Number Of Pages: 263
Published: 1st April 1984
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.45
Weight (kg): 0.39