International Symposium on Programming -

International Symposium on Programming

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

M. Paul, B. Robinet (Herausgeber)

Buch | Softcover
VI, 263 Seiten
1984 | 1984
Springer Berlin (Verlag)
978-3-540-12925-7 (ISBN)
53,49 inkl. MwSt

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.

Erscheint lt. Verlag 1.4.1984
Reihe/Serie Lecture Notes in Computer Science
Zusatzinfo VI, 263 p.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 443 g
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Mathematik / Informatik Informatik Software Entwicklung
Informatik Theorie / Studium Compilerbau
Schlagworte Attribut • Compiler • Design • language • Programmiersprache • programming • Smalltalk • verification
ISBN-10 3-540-12925-1 / 3540129251
ISBN-13 978-3-540-12925-7 / 9783540129257
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
29,90
a beginner's guide to learning llvm compiler tools and core …

von Kai Nacke

Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
49,85