ESOP '92

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Model checking and boolean graphs
3. Altmetric Badge
   Chapter 2 SIGNAL as a model for real-time and hybrid systems
4. Altmetric Badge
   Chapter 3 Towards an adequate notion of observation
5. Altmetric Badge
   Chapter 4 Proving safety of speculative load instructions at compile-time
6. Altmetric Badge
   Chapter 5 Typed norms
7. Altmetric Badge
   Chapter 6 Compositional refinements in multiple blackboard systems
8. Altmetric Badge
   Chapter 7 Fully persistent arrays for efficient incremental updates and voluminous reads
9. Altmetric Badge
   Chapter 8 Back to direct style
10. Altmetric Badge
    Chapter 9 Extraction of strong typing laws from action semantics definitions
11. Altmetric Badge
    Chapter 10 Detecting determinate computations by bottom-up abstract interpretation
12. Altmetric Badge
    Chapter 11 ELIOS-OBJ theorem proving in a specification language
13. Altmetric Badge
    Chapter 12 Incremental garbage collection without tags
14. Altmetric Badge
    Chapter 13 Approximate fixed points in abstract interpretation
15. Altmetric Badge
    Chapter 14 Dynamic typing
16. Altmetric Badge
    Chapter 15 Automatic parallelization of lazy functional programs
17. Altmetric Badge
    Chapter 16 Reversing abstract interpretations
18. Altmetric Badge
    Chapter 17 A theory of qualified types
19. Altmetric Badge
    Chapter 18 A semantics for multiprocessor systems
20. Altmetric Badge
    Chapter 19 Interprocedural type propagation for object-oriented languages
21. Altmetric Badge
    Chapter 20 Using the Centaur system for data-parallel SIMD programming: a case study
22. Altmetric Badge
    Chapter 21 The tensor product in Wadler's analysis of lists
23. Altmetric Badge
    Chapter 22 Basic superposition is complete
24. Altmetric Badge
    Chapter 23 Observers for linear types
25. Altmetric Badge
    Chapter 24 Type inference for partial types is decidable
26. Altmetric Badge
    Chapter 25 A provably correct compiler generator
27. Altmetric Badge
    Chapter 26 An adequate operational semantics of sharing in lazy evaluation
28. Altmetric Badge
    Chapter 27 Modules for a model-oriented specification language: A proposal for metasoft
29. Altmetric Badge
    Chapter 28 Typing references by effect inference