↓ Skip to main content

International Symposium on Programming

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Applicative communicating processes in first order logic
  3. Altmetric Badge
    Chapter 2 A machine-level semantics for nondeterministic, parallel programs
  4. Altmetric Badge
    Chapter 3 A formalized proof system for total correctness of while programs
  5. Altmetric Badge
    Chapter 4 Automatic program transformation viewed as theorem proving
  6. Altmetric Badge
    Chapter 5 An enlarged definition and complete axiomatization of observational congruence of finite processes
  7. Altmetric Badge
    Chapter 6 Perluette : A compilers producing system using abstract data types
  8. Altmetric Badge
    Chapter 7 A weakest precondition semantics for communicating processes
  9. Altmetric Badge
    Chapter 8 From abstract model to efficient compilation of patterns
  10. Altmetric Badge
    Chapter 9 Computer-based synthesis of logic programs
  11. Altmetric Badge
    Chapter 10 On some syntactic equivalences of program schemas and related transformations
  12. Altmetric Badge
    Chapter 11 Procedures and concurrency: A study in proof
  13. Altmetric Badge
    Chapter 12 Another characterization of weakest preconditions
  14. Altmetric Badge
    Chapter 13 Powerdomains and nondeterministic recursive definitions
  15. Altmetric Badge
    Chapter 14 Optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-line code
  16. Altmetric Badge
    Chapter 15 The simple semantics for Coppo-Dezani-Sallé types
  17. Altmetric Badge
    Chapter 16 Proving the correctness of implementations of shared data abstractions
  18. Altmetric Badge
    Chapter 17 Specification of communicating processes and process implementation correctness
  19. Altmetric Badge
    Chapter 18 A system for reasoning within and about algebraic specifications
  20. Altmetric Badge
    Chapter 19 Tuning algebraic specifications by type merging
  21. Altmetric Badge
    Chapter 20 Communicating agents for applicative concurrent programming
  22. Altmetric Badge
    Chapter 21 On effective computations of non-deterministic schemes
  23. Altmetric Badge
    Chapter 22 Specification and verification of concurrent systems in CESAR
  24. Altmetric Badge
    Chapter 23 Proof of separability A verification technique for a class of security kernels
  25. Altmetric Badge
    Chapter 24 A method for program synthesis
  26. Altmetric Badge
    Chapter 25 The use of transformations to implement an algorithm
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
4 Wikipedia pages

Citations

dimensions_citation
2 Dimensions
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 Programming
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-11494-7
ISBNs
978-3-54-011494-9, 978-3-54-039184-5
Editors

Dezani-Ciancaglini, Mariangiola, Montanari, Ugo