International symposium on programming : 6th Colloquium, Toulouse, April 17-19, 1984 : proceedings
Kaydedildi:
| Yazar: | |
|---|---|
| Müşterek Yazar: | |
| Diğer Yazarlar: | |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais Français |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
167 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • International Symposium on Programming, 6th colloquium, Toulouse, April 17-19, 1984, proceedings, edited by M. Paul and B. Robinet, Berlin, Springer-Verlag, 1984, 1 vol. (vi-262 p.), Lecture notes in computer science, 0-387-12925-1 • International Symposium on Programming, Texte imprimé, 9783540129257 • International Symposium on Programming, Texte imprimé, 9783662173213 |
İçindekiler:
- 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.