International Symposium on Programming | 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
M. Paul (u. a.)
ISBN 10: 3540129251 ISBN 13: 9783540129257
Editore: Springer, 1984
Nuovi
Taschenbuch
Da
preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 5 agosto 2024
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
International Symposium on Programming | 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings | M. Paul (u. a.) | Taschenbuch | vi | Englisch | 1984 | Springer | EAN 9783540129257 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Codice articolo 102153852
Contenuti: 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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: International Symposium on Programming | 6th...
Casa editrice: Springer
Data di pubblicazione: 1984
Legatura: Taschenbuch
Condizione: Neu