ESOP 1992

28 papers

1. A Provably Correct Compiler Generator · Jens Palsberg
2. A Semantics for Multiprocessor Systems · Padmanabhan Krishnan
3. A Theory of Qualified Types · Mark P. Jones
4. An Adequate Operational Semantics for Sharing in Lazy Evaluation · S. Purushothaman, Jill Seaman
5. Approximate Fixed Points in Abstract Interpretation · Chris Hankin, Sebastian Hunt
6. Automatic Parallelization of Lazy Functional Programs · Guido Hogen, Andrea Kindler, Rita Loogen
7. Back to Direct Style · Olivier Danvy
8. Basic Superposition is Complete · Robert Nieuwenhuis, Albert Rubio
9. Compositional Refinements in Multiple Blackboard Systems · X. J. Chen, Carlo Montangero
10. Detecting Determinate Computations by Bottom-up Abstract Interpretation · Roberto Giacobazzi, Laura Ricci
11. Dynamic Typing · Fritz Henglein
12. ELIOS-OBJ Theorem Proving in a Specification Language · Isabelle Gnaedig
13. Extraction of Strong Typing Laws from Action Semantics Definitions · Kyung-Goo Doh, David A. Schmidt
14. Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads · Tyng-Ruey Chuang
15. Incremental Garbage Collection Without Tags · Benjamin Goldberg
16. Interprocedural Type Propagation for Object-Oriented Languages · Jean-Marie Larchevêque
17. Model Checking and Boolean Graphs · Henrik Reif Andersen
18. Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft · Andrzej Tarlecki
19. Observers for Linear Types · Martin Odersky
20. Proving Safety of Speculative Load Instructions at Compile Time · David Bernstein, Michael Rodeh, Shmuel Sagiv
21. Reversing Abstract Interpretations · John Hughes, John Launchbury
22. SIGNAL as a Model for Real-Time and Hybrid Systems · Albert Benveniste, Michel Le Borgne, Paul Le Guernic
23. The Tensor Product in Wadler's Analysis of Lists · Flemming Nielson, Hanne Riis Nielson
24. Towards an Adequate Notion of Observation · Gilles Bernot, Michel Bidoit, Teodor Knapik
25. Type Inference for Partial Types is Decidable · Patrick O'Keefe, Mitchell Wand
26. Typed Norms · Annalisa Bossi, Nicoletta Cocco, Massimo Fabris
27. Typing References by Effect Inference · Andrew K. Wright
28. Using the Centaur System to for Data-Parallel SIMD Programming: A Case Study · Jean-Luc Levaire