↓ 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
Attention for Chapter 10: Mathematical semantics and compiler correctness
Altmetric Badge

Citations

dimensions_citation
2 Dimensions
Summary Dimensions citations
So far, Dimensions has found 2 publications that cite this research output.

2

The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.