ESOP '92: 4th European Symposium on Programming Rennes, France, February 26–28, 1992 Proceedings [1 ed.] 3540552537, 9783540552536
This volume contains selected papers presented at the European Symposium on Programming (ESOP) held jointly with the sev
241 7 4MB
English Pages 496 [500] Year 1992
Table of contents :
Model checking and boolean graphs....Pages 1-19
SIGNAL as a model for real-time and hybrid systems....Pages 20-38
Towards an adequate notion of observation....Pages 39-55
Proving safety of speculative load instructions at compile-time....Pages 56-72
Typed norms....Pages 73-92
Compositional refinements in multiple blackboard systems....Pages 93-109
Fully persistent arrays for efficient incremental updates and voluminous reads....Pages 110-129
Back to direct style....Pages 130-150
Extraction of strong typing laws from action semantics definitions....Pages 151-166
Detecting determinate computations by bottom-up abstract interpretation....Pages 167-181
ELIOS-OBJ theorem proving in a specification language....Pages 182-199
Incremental garbage collection without tags....Pages 200-218
Approximate fixed points in abstract interpretation....Pages 219-232
Dynamic typing....Pages 233-253
Automatic parallelization of lazy functional programs....Pages 254-268
Reversing abstract interpretations....Pages 269-286
A theory of qualified types....Pages 287-306
A semantics for multiprocessor systems....Pages 307-320
Interprocedural type propagation for object-oriented languages....Pages 321-340
Using the Centaur system for data-parallel SIMD programming: a case study....Pages 341-350
The tensor product in Wadler's analysis of lists....Pages 351-370
Basic superposition is complete....Pages 371-389
Observers for linear types....Pages 390-407
Type inference for partial types is decidable....Pages 408-417
A provably correct compiler generator....Pages 418-434
An adequate operational semantics of sharing in lazy evaluation....Pages 435-450
Modules for a model-oriented specification language: A proposal for metasoft....Pages 451-472
Typing references by effect inference....Pages 473-491
Model checking and boolean graphs....Pages 1-19
SIGNAL as a model for real-time and hybrid systems....Pages 20-38
Towards an adequate notion of observation....Pages 39-55
Proving safety of speculative load instructions at compile-time....Pages 56-72
Typed norms....Pages 73-92
Compositional refinements in multiple blackboard systems....Pages 93-109
Fully persistent arrays for efficient incremental updates and voluminous reads....Pages 110-129
Back to direct style....Pages 130-150
Extraction of strong typing laws from action semantics definitions....Pages 151-166
Detecting determinate computations by bottom-up abstract interpretation....Pages 167-181
ELIOS-OBJ theorem proving in a specification language....Pages 182-199
Incremental garbage collection without tags....Pages 200-218
Approximate fixed points in abstract interpretation....Pages 219-232
Dynamic typing....Pages 233-253
Automatic parallelization of lazy functional programs....Pages 254-268
Reversing abstract interpretations....Pages 269-286
A theory of qualified types....Pages 287-306
A semantics for multiprocessor systems....Pages 307-320
Interprocedural type propagation for object-oriented languages....Pages 321-340
Using the Centaur system for data-parallel SIMD programming: a case study....Pages 341-350
The tensor product in Wadler's analysis of lists....Pages 351-370
Basic superposition is complete....Pages 371-389
Observers for linear types....Pages 390-407
Type inference for partial types is decidable....Pages 408-417
A provably correct compiler generator....Pages 418-434
An adequate operational semantics of sharing in lazy evaluation....Pages 435-450
Modules for a model-oriented specification language: A proposal for metasoft....Pages 451-472
Typing references by effect inference....Pages 473-491
![ESOP '92: 4th European Symposium on Programming Rennes, France, February 26–28, 1992 Proceedings [1 ed.]
3540552537, 9783540552536](https://ebin.pub/img/200x200/esop-92-4th-european-symposium-on-programming-rennes-france-february-2628-1992-proceedings-1nbsped-3540552537-9783540552536.jpg)
- Author / Uploaded
- Henrik Reif Andersen (auth.)
- Bernd Krieg-Brückner (eds.)
- Similar Topics
- Education
- International Conferences and Symposiums
![ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings [1 ed.]
3540190279, 9783540190271](https://ebin.pub/img/200x200/esop-88-2nd-european-symposium-on-programming-nancy-france-march-2124-1988-proceedings-1nbsped-3540190279-9783540190271.jpg)
![ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings [1 ed.]
3540525920, 9783540525929](https://ebin.pub/img/200x200/esop-90-3rd-european-symposium-on-programming-copenhagen-denmark-may-1518-1990-proceedings-1nbsped-3540525920-9783540525929.jpg)
![ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings [1 ed.]
3540164421, 9783540164425](https://ebin.pub/img/200x200/esop-86-european-symposium-on-programming-saarbrcken-federal-republic-of-germany-march-1719-1986-proceedings-1nbsped-3540164421-9783540164425.jpg)
![Compiler Construction: 4th International Conference, CC '92 Paderborn, FRG, October 5–7, 1992 Proceedings [1 ed.]
9783540559849, 3540559841](https://ebin.pub/img/200x200/compiler-construction-4th-international-conference-cc-92-paderborn-frg-october-57-1992-proceedings-1nbsped-9783540559849-3540559841.jpg)
![Compiler Construction: 4th International Conference, CC '92 Paderborn, FRG, October 5–7, 1992 Proceedings [1 ed.]
3540559841, 9783540559849](https://ebin.pub/img/200x200/compiler-construction-4th-international-conference-cc-92-paderborn-frg-october-57-1992-proceedings-1nbsped-3540559841-9783540559849.jpg)
![Memory Management: International Workshop IWMM 92 St. Malo, France, September 17–19, 1992 Proceedings [1 ed.]
9783540559405, 354055940X, 038755940X](https://ebin.pub/img/200x200/memory-management-international-workshop-iwmm-92-st-malo-france-september-1719-1992-proceedings-1nbsped-9783540559405-354055940x-038755940x.jpg)
