↓ 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
Attention for Chapter 148: Towards a theory of type structure
Altmetric Badge

About this Attention Score

  • Average Attention Score compared to outputs of the same age

Mentioned by

wikipedia
7 Wikipedia pages

Readers on

mendeley
141 Mendeley
citeulike
2 CiteULike
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.
Chapter title
Towards a theory of type structure
Chapter number 148
Book title
Programming Symposium
Published in
Lecture notes in computer science, February 1974
DOI 10.1007/3-540-06859-7_148
Book ISBNs
978-3-54-006859-4, 978-3-54-037819-8
Authors

John C. Reynolds, Reynolds, John C.

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 12 9%
Germany 3 2%
Switzerland 1 <1%
Australia 1 <1%
Brazil 1 <1%
Sweden 1 <1%
Portugal 1 <1%
New Zealand 1 <1%
Taiwan 1 <1%
Other 6 4%
Unknown 113 80%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 36 26%
Researcher 21 15%
Student > Master 17 12%
Student > Bachelor 17 12%
Other 13 9%
Other 25 18%
Unknown 12 9%
Readers by discipline Count As %
Computer Science 104 74%
Mathematics 11 8%
Engineering 6 4%
Philosophy 2 1%
Physics and Astronomy 2 1%
Other 3 2%
Unknown 13 9%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 3. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 10 June 2022.
All research outputs
#7,404,662
of 22,641,687 outputs
Outputs from Lecture notes in computer science
#2,489
of 8,121 outputs
Outputs of similar age
#2,644
of 18,289 outputs
Outputs of similar age from Lecture notes in computer science
#2
of 2 outputs
Altmetric has tracked 22,641,687 research outputs across all sources so far. This one is in the 44th percentile – i.e., 44% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,121 research outputs from this source. They receive a mean Attention Score of 5.0. This one has gotten more attention than average, scoring higher than 54% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 18,289 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 36th percentile – i.e., 36% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 2 others from the same source and published within six weeks on either side of this one.