↓ Skip to main content

International Symposium on Programming

Overview of attention for book
Cover of 'International Symposium on Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 23 Un modele de description de protocoles : Les reseaux fermes d'automates triphases
  3. Altmetric Badge
    Chapter 24 Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees
  4. Altmetric Badge
    Chapter 25 Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus
  5. Altmetric Badge
    Chapter 26 Le type abstrait "vecteur" et les methodes de programmation des ordinateurs vectoriels
  6. Altmetric Badge
    Chapter 27 Some topics in the design of the specification language lotos
  7. Altmetric Badge
    Chapter 28 Specification and verification of networks protocols using temporal logic
  8. Altmetric Badge
    Chapter 29 Une implémentation des coroutines en Lisp, application à Smalltalk
  9. Altmetric Badge
    Chapter 30 Vesta Vectorisation automatique et parametree de programmes
  10. Altmetric Badge
    Chapter 31 L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma
  11. Altmetric Badge
    Chapter 32 Projet Vesta
  12. Altmetric Badge
    Chapter 33 The program dependence graph and its use in optimization
  13. Altmetric Badge
    Chapter 34 Implementations of nondeterministic programs
  14. Altmetric Badge
    Chapter 35 For statements with restricted enumerations
  15. Altmetric Badge
    Chapter 36 A method for developing concurrent systems
  16. Altmetric Badge
    Chapter 37 An optimal-time recursive evaluator for attribute grammars
  17. Altmetric Badge
    Chapter 38 On the Merlin-Randell problem of train journeys
  18. Altmetric Badge
    Chapter 39 Un systeme d'aide a la preuve de compilateurs
  19. Altmetric Badge
    Chapter 40 Optimized combinatoric code for applicative language implementation
  20. Altmetric Badge
    Chapter 41 Polymorphic type schemes and recursive definitions
  21. Altmetric Badge
    Chapter 42 Non-sequential behaviour
  22. Altmetric Badge
    Chapter 43 Proving properties of Snobol4 patterns: Selecting the assertion format
  23. Altmetric Badge
    Chapter 44 Polynomial-time analysis for a class of communicating processes
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages

Readers on

mendeley
7 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
International Symposium on Programming
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-12925-1
ISBNs
978-3-54-012925-7, 978-3-54-038809-8
Editors

Paul, M., Robinet, B.

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 7 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 7 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 1 14%
Student > Ph. D. Student 1 14%
Unknown 5 71%
Readers by discipline Count As %
Computer Science 2 29%
Unknown 5 71%