4. ESOP 1992: Rennes, France
Bernd Krieg-Brückner (Ed.): ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings. Springer 1992 Lecture Notes in Computer Science ISBN 3-540-55253-7- Henrik Reif Andersen: Model Checking and Boolean Graphs. 1-19
- Albert Benveniste, Michel Le Borgne, Paul Le Guernic: SIGNAL as a Model for Real-Time and Hybrid Systems. 20-38
- David Bernstein, Michael Rodeh, Shmuel Sagiv: Proving Safety of Speculative Load Instructions at Compile Time. 56-72
- Tyng-Ruey Chuang: Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads. 110-129
- Olivier Danvy: Back to Direct Style. 130-150
- Kyung-Goo Doh, David A. Schmidt: Extraction of Strong Typing Laws from Action Semantics Definitions. 151-166
- Roberto Giacobazzi, Laura Ricci: Detecting Determinate Computations by Bottom-up Abstract Interpretation. 167-181
- Isabelle Gnaedig: ELIOS-OBJ Theorem Proving in a Specification Language. 182-199
- Benjamin Goldberg: Incremental Garbage Collection Without Tags. 200-218
- Fritz Henglein: Dynamic Typing. 233-253
- Guido Hogen, Andrea Kindler, Rita Loogen: Automatic Parallelization of Lazy Functional Programs. 254-268
- Mark P. Jones: A Theory of Qualified Types. 287-306
- Padmanabhan Krishnan: A Semantics for Multiprocessor Systems. 307-320
- Jean-Marie Larchevêque: Interprocedural Type Propagation for Object-Oriented Languages. 321-340
- Jean-Luc Levaire: Using the Centaur System to for Data-Parallel SIMD Programming: A Case Study. 341-350
- Martin Odersky: Observers for Linear Types. 390-407
- Jens Palsberg: A Provably Correct Compiler Generator. 418-434
- S. Purushothaman, Jill Seaman: An Adequate Operational Semantics for Sharing in Lazy Evaluation. 435-450
- Andrzej Tarlecki: Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft. 451-472
- Andrew K. Wright: Typing References by Effect Inference. 473-491
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team