↓ Skip to main content
What is this page? Embed badge

Programming Languages and Their Definition

Overview of attention for book
Cover of 'Programming Languages and Their Definition'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Note on a test example for ALGOL60 compilers by D.E. Knuth
  3. Altmetric Badge
    Chapter 2 The assignment to a type procedure identifier in ALGOL60
  4. Altmetric Badge
    Chapter 3 The meaning of names in PL/I
  5. Altmetric Badge
    Chapter 4 Defining a language in its own terms
  6. Altmetric Badge
    Chapter 6 Definable operations in general algebras, and the theory of automata and flowcharts
  7. Altmetric Badge
    Chapter 7 Formalization of storage properties
  8. Altmetric Badge
    Chapter 8 On the formal definition of programming languages
  9. Altmetric Badge
    Chapter 9 A formal definition of a PL/I subset
  10. Altmetric Badge
    Chapter 10 Mathematical semantics and compiler correctness
  11. Altmetric Badge
    Chapter 11 Towards a mathematical theory of processes
  12. Altmetric Badge
    Chapter 13 The semantics of parallel processing
  13. Altmetric Badge
    Chapter 14 Nondeterministic functions and the semantics of CSP
  14. Altmetric Badge
    Chapter 15 Nondeterministic programs : An example
  15. Altmetric Badge
    Chapter 16 A model of nondeterminism: Indexed sets and their equivalence
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
6 Wikipedia pages

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
8 Mendeley
Summary Wikipedia Dimensions citations
So far, Altmetric has seen 6 citations on 6 Wikipedia pages.

This page shows the most recent Wikipedia articles that mention this research output.

Click here to find out how to access more activity, including 2 additional Wikipedia articles.

This page is provided by Altmetric.