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

Formalization of Programming Concepts

Overview of attention for book
Cover of 'Formalization of Programming Concepts'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 91 The algebra of functional programs: Function level reasoning, linear equations, and extended definitions
  3. Altmetric Badge
    Chapter 92 The VDM principles of software specification & program design
  4. Altmetric Badge
    Chapter 93 Attribute grammars : Theory and applications
  5. Altmetric Badge
    Chapter 94 Compiler generation from formal definition of programming languages : A survey
  6. Altmetric Badge
    Chapter 95 Formal behavioural specification of concurrent systems without globality assumptions
  7. Altmetric Badge
    Chapter 96 A birkhoff-like theorem for algebraic classes of interpretations of program schemes
  8. Altmetric Badge
    Chapter 97 Building data base management systems through formal specification
  9. Altmetric Badge
    Chapter 98 Reducing types in applicative languages with structured data
  10. Altmetric Badge
    Chapter 99 On the definition of lambda-calculus models
  11. Altmetric Badge
    Chapter 100 About data type genericity
  12. Altmetric Badge
    Chapter 101 On the algebraic extensions of abstract data types
  13. Altmetric Badge
    Chapter 102 Scenarios: A model of non-determinate computation
  14. Altmetric Badge
    Chapter 103 An operational semantics for a language with early completion data structures
  15. Altmetric Badge
    Chapter 104 Le calcul des fermetures dans les lambda-langages
  16. Altmetric Badge
    Chapter 105 Distributed termination with interval assertions
  17. Altmetric Badge
    Chapter 106 Algebraic denotational semantics using parameterized abstract modules
  18. Altmetric Badge
    Chapter 107 Relational semantics of strongly communicating sequential processes
  19. Altmetric Badge
    Chapter 108 A construction of concurrent systems by means of sequential solutions and concurrency relations
  20. Altmetric Badge
    Chapter 109 The development of an interpreter by means of abstract algebraic software specifications
  21. Altmetric Badge
    Chapter 110 A formal model of an interpreter for nonprocedural languages
  22. Altmetric Badge
    Chapter 111 Proof theoretic methodology for propositional dynamic logic
  23. Altmetric Badge
    Chapter 112 FP systems in edinburgh LCF
  24. Altmetric Badge
    Chapter 113 A proposal for operational semantics and equivalence of finite asynchronous processes
  25. Altmetric Badge
    Chapter 114 An extension to horn clause logic allowing the definition of concurrent processes
  26. Altmetric Badge
    Chapter 115 A semantic algebra for binding constructs
  27. Altmetric Badge
    Chapter 116 On the representation of data types
  28. Altmetric Badge
    Chapter 117 An approach to communications and parallelism in applicative languages
  29. Altmetric Badge
    Chapter 118 Using least fixed points to characterize formal computations of non-deterministic equations
  30. Altmetric Badge
    Chapter 119 Formal representations for recursively defined functional programs
  31. Altmetric Badge
    Chapter 120 Petri nets and concurrency-like relations
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
8 Wikipedia pages
Summary Wikipedia
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
Formalization of Programming Concepts
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-10699-5
ISBNs
978-3-54-010699-9, 978-3-54-038654-4
Editors

Díaz, J., Ramos, I.

View on publisher site

This page is provided by Altmetric.