4. ESOP 1992: Rennes, France

Bernd Krieg-Brückner (Ed.): ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings. Lecture Notes in Computer Science 582 Springer 1992, ISBN 3-540-55253-7 BibTeX

@proceedings{DBLP:conf/esop/1992,
  editor    = {Bernd Krieg-Br{\"u}ckner},
  title     = {ESOP '92, 4th European Symposium on Programming, Rennes, France,
               February 26-28, 1992, Proceedings},
  booktitle = {ESOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {582},
  year      = {1992},
  isbn      = {3-540-55253-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Henrik Reif Andersen: Model Checking and Boolean Graphs. 1-19 BibTeX
Albert Benveniste, Michel Le Borgne, Paul Le Guernic: SIGNAL as a Model for Real-Time and Hybrid Systems. 20-38 BibTeX
Gilles Bernot, Michel Bidoit, Teodor Knapik: Towards an Adequate Notion of Observation. 39-55 BibTeX
David Bernstein, Michael Rodeh, Shmuel Sagiv: Proving Safety of Speculative Load Instructions at Compile Time. 56-72 BibTeX
Annalisa Bossi, Nicoletta Cocco, Massimo Fabris: Typed Norms. 73-92 BibTeX
X. J. Chen, Carlo Montangero: Compositional Refinements in Multiple Blackboard Systems. 93-109 BibTeX
Tyng-Ruey Chuang: Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads. 110-129 BibTeX
Olivier Danvy: Back to Direct Style. 130-150 BibTeX
Kyung-Goo Doh, David A. Schmidt: Extraction of Strong Typing Laws from Action Semantics Definitions. 151-166 BibTeX
Roberto Giacobazzi, Laura Ricci: Detecting Determinate Computations by Bottom-up Abstract Interpretation. 167-181 BibTeX
Isabelle Gnaedig: ELIOS-OBJ Theorem Proving in a Specification Language. 182-199 BibTeX
Benjamin Goldberg: Incremental Garbage Collection Without Tags. 200-218 BibTeX
Chris Hankin, Sebastian Hunt: Approximate Fixed Points in Abstract Interpretation. 219-232 BibTeX
Fritz Henglein: Dynamic Typing. 233-253 BibTeX
Guido Hogen, Andrea Kindler, Rita Loogen: Automatic Parallelization of Lazy Functional Programs. 254-268 BibTeX
John Hughes, John Launchbury: Reversing Abstract Interpretations. 269-286 BibTeX
Mark P. Jones: A Theory of Qualified Types. 287-306 BibTeX
Padmanabhan Krishnan: A Semantics for Multiprocessor Systems. 307-320 BibTeX
Jean-Marie Larchevêque: Interprocedural Type Propagation for Object-Oriented Languages. 321-340 BibTeX
Jean-Luc Levaire: Using the Centaur System to for Data-Parallel SIMD Programming: A Case Study. 341-350 BibTeX
Flemming Nielson, Hanne Riis Nielson: The Tensor Product in Wadler's Analysis of Lists. 351-370 BibTeX
Robert Nieuwenhuis, Albert Rubio: Basic Superposition is Complete. 371-389 BibTeX
Martin Odersky: Observers for Linear Types. 390-407 BibTeX
Patrick O'Keefe, Mitchell Wand: Type Inference for Partial Types is Decidable. 408-417 BibTeX
Jens Palsberg: A Provably Correct Compiler Generator. 418-434 BibTeX
S. Purushothaman, Jill Seaman: An Adequate Operational Semantics for Sharing in Lazy Evaluation. 435-450 BibTeX
Andrzej Tarlecki: Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft. 451-472 BibTeX
Andrew K. Wright: Typing References by Effect Inference. 473-491 BibTeX