↓ Skip to main content

International Symposium on Theoretical Programming

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 An axiomatic definition of the programming language PASCAL
  3. Altmetric Badge
    Chapter 2 The logic of "can do"
  4. Altmetric Badge
    Chapter 3 Copying in commutation — Operator schemata
  5. Altmetric Badge
    Chapter 4 On synthesizing programs given by examples
  6. Altmetric Badge
    Chapter 5 Central technical issues in programming language design
  7. Altmetric Badge
    Chapter 6 Sur quelques systémes de programmation pour les recherches scientifiques
  8. Altmetric Badge
    Chapter 7 Decision problems in computational models
  9. Altmetric Badge
    Chapter 8 Non-determined algorithm schemata or R-schemata
  10. Altmetric Badge
    Chapter 9 Equivalence and optimization of programs
  11. Altmetric Badge
    Chapter 10 On the average speed of automaton with terminal state
  12. Altmetric Badge
    Chapter 11 Logical-termal equivalence of program schemata
  13. Altmetric Badge
    Chapter 12 On universal classes of program schemas
  14. Altmetric Badge
    Chapter 13 Certain decompositions of Gödel numbering and the semantics of programming languages
  15. Altmetric Badge
    Chapter 14 Criteria for the algorithmic completeness of the systems of operations
  16. Altmetric Badge
    Chapter 15 Data flow schemas
  17. Altmetric Badge
    Chapter 16 Operation patterns
  18. Altmetric Badge
    Chapter 17 Looking for an approach to a theory of models for parallel computation
  19. Altmetric Badge
    Chapter 18 Configurable computers: A new class of general purpose machines
  20. Altmetric Badge
    Chapter 19 A method for determining program data relationships
  21. Altmetric Badge
    Chapter 20 Towards automatical construction of parallel programs
  22. Altmetric Badge
    Chapter 21 A calculus for the mathematical theory of computation
  23. Altmetric Badge
    Chapter 22 Admissibility of fixed-point induction in first-order logic of typed theories
  24. Altmetric Badge
    Chapter 23 A formal approximation theory of semantic data types
  25. Altmetric Badge
    Chapter 24 Some features of a language for a proof-checking programming system
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

facebook
1 Facebook page

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
International Symposium on Theoretical Programming
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-06720-5
ISBNs
978-3-54-006720-7, 978-3-54-038012-2
Editors

Ershov, Andrei, Nepomniaschy, Valery A.