Book Volume 167 1984

International Symposium on Programming

6th Colloquium Toulouse, April 17–19, 1984 Proceedings

Editors:

ISBN: 978-3-540-12925-7 (Print) 978-3-540-38809-8 (Online)

Table of contents (22 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Chapter and Conference Paper

    Pages 1-12

    Un modele de description de protocoles : Les reseaux fermes d'automates triphases

  3. No Access

    Chapter and Conference Paper

    Pages 13-22

    Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees

  4. No Access

    Chapter and Conference Paper

    Pages 23-34

    Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus

  5. No Access

    Chapter and Conference Paper

    Pages 35-46

    Le type abstrait "vecteur" et les methodes de programmation des ordinateurs vectoriels

  6. No Access

    Chapter and Conference Paper

    Pages 47-58

    Some topics in the design of the specification language lotos

  7. No Access

    Chapter and Conference Paper

    Pages 59-73

    Specification and verification of networks protocols using temporal logic

  8. No Access

    Chapter and Conference Paper

    Pages 74-88

    Une implémentation des coroutines en Lisp, application à Smalltalk

  9. No Access

    Chapter and Conference Paper

    Pages 89-100

    Vesta Vectorisation automatique et parametree de programmes

  10. No Access

    Chapter and Conference Paper

    Pages 101-112

    L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma

  11. No Access

    Chapter and Conference Paper

    Pages 113-124

    Projet Vesta

  12. No Access

    Chapter and Conference Paper

    Pages 125-132

    The program dependence graph and its use in optimization

  13. No Access

    Chapter and Conference Paper

    Pages 133-144

    Implementations of nondeterministic programs

  14. No Access

    Chapter and Conference Paper

    Pages 145-154

    For statements with restricted enumerations

  15. No Access

    Chapter and Conference Paper

    Pages 155-166

    A method for developing concurrent systems

  16. No Access

    Chapter and Conference Paper

    Pages 167-178

    An optimal-time recursive evaluator for attribute grammars

  17. No Access

    Chapter and Conference Paper

    Pages 179-190

    On the Merlin-Randell problem of train journeys

  18. No Access

    Chapter and Conference Paper

    Pages 191-205

    Un systeme d'aide a la preuve de compilateurs

  19. No Access

    Chapter and Conference Paper

    Pages 206-216

    Optimized combinatoric code for applicative language implementation

  20. No Access

    Chapter and Conference Paper

    Pages 217-228

    Polymorphic type schemes and recursive definitions

  21. No Access

    Chapter and Conference Paper

    Pages 229-239

    Non-sequential behaviour

previous Page of 2