↓ Skip to main content

Programming Symposium

Overview of attention for book
Cover of 'Programming Symposium'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 119 Introduction
  3. Altmetric Badge
    Chapter 120 On a measure of program structure
  4. Altmetric Badge
    Chapter 121 Higher order software techniques applied to a space shuttle prototype program
  5. Altmetric Badge
    Chapter 122 A proposed system for structured programming
  6. Altmetric Badge
    Chapter 123 S. V. P. Un system interactif pour la validation et la preparation de programmes
  7. Altmetric Badge
    Chapter 124 Proving program correctness in LCF
  8. Altmetric Badge
    Chapter 125 Finite state testing of structured programs
  9. Altmetric Badge
    Chapter 126 Structured recursive programming
  10. Altmetric Badge
    Chapter 127 Top-down approach to the synthesis of programs
  11. Altmetric Badge
    Chapter 128 A more mechanical approach to program verification
  12. Altmetric Badge
    Chapter 129 Tree structures handling by aps
  13. Altmetric Badge
    Chapter 130 Towards a high-level job control language
  14. Altmetric Badge
    Chapter 131 Formal Definition of a simple on-line teleprocessor in VDL
  15. Altmetric Badge
    Chapter 132 The suitability of a very high level language (setl) for simulation structuring and control
  16. Altmetric Badge
    Chapter 133 A control statement for natural top-down structured programming
  17. Altmetric Badge
    Chapter 134 On the transfer of control between contexts
  18. Altmetric Badge
    Chapter 135 Equivalences dans l'algèbre des schémas de programme
  19. Altmetric Badge
    Chapter 136 Inductive assertion patterns for recursive procedures
  20. Altmetric Badge
    Chapter 137 Completude d'un systeme formel pour prouver l'equivalence de certains schemas recursifs monadiques
  21. Altmetric Badge
    Chapter 138 Non-existence of program optimizers in an abstract setting
  22. Altmetric Badge
    Chapter 139 Listing of information structures defined by fixed-point operators
  23. Altmetric Badge
    Chapter 140 Application de la structuration de systeme a la conception interne du systeme GEMAU
  24. Altmetric Badge
    Chapter 141 Un systeme de communications: logiciel ou materiel?
  25. Altmetric Badge
    Chapter 142 Structure du systeme SAR
  26. Altmetric Badge
    Chapter 143 Une Transformation de programmes sequentiels en programmes paralleles
  27. Altmetric Badge
    Chapter 144 A model for structured parallel processing in block-structured programming languages
  28. Altmetric Badge
    Chapter 145 First version of a data flow procedure language
  29. Altmetric Badge
    Chapter 146 Towards more flexible type systems
  30. Altmetric Badge
    Chapter 147 Behavioral semantics of nonrecursive control structures
  31. Altmetric Badge
    Chapter 148 Towards a theory of type structure
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 tweeter
wikipedia
2 Wikipedia pages

Readers on

mendeley
3 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
Programming Symposium
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-06859-7
ISBNs
978-3-54-006859-4, 978-3-54-037819-8
Editors

Robinet, B.

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

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

Geographical breakdown

Country Count As %
France 1 33%
Unknown 2 67%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 33%
Professor > Associate Professor 1 33%
Student > Master 1 33%
Readers by discipline Count As %
Computer Science 2 67%
Mathematics 1 33%