4. ESOP 1992: Rennes, France

• 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
  
• Gilles Bernot, Michel Bidoit, Teodor Knapik:
  Towards an Adequate Notion of Observation. 39-55
  
• David Bernstein, Michael Rodeh, Shmuel Sagiv:
  Proving Safety of Speculative Load Instructions at Compile Time. 56-72
  
• Annalisa Bossi, Nicoletta Cocco, Massimo Fabris:
  Typed Norms. 73-92
  
• X. J. Chen, Carlo Montangero:
  Compositional Refinements in Multiple Blackboard Systems. 93-109
  
• 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
  
• Chris Hankin, Sebastian Hunt:
  Approximate Fixed Points in Abstract Interpretation. 219-232
  
• Fritz Henglein:
  Dynamic Typing. 233-253
  
• Guido Hogen, Andrea Kindler, Rita Loogen:
  Automatic Parallelization of Lazy Functional Programs. 254-268
  
• John Hughes, John Launchbury:
  Reversing Abstract Interpretations. 269-286
  
• 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
  
• Flemming Nielson, Hanne Riis Nielson:
  The Tensor Product in Wadler's Analysis of Lists. 351-370
  
• Robert Nieuwenhuis, Albert Rubio:
  Basic Superposition is Complete. 371-389
  
• Martin Odersky:
  Observers for Linear Types. 390-407
  
• Patrick O'Keefe, Mitchell Wand:
  Type Inference for Partial Types is Decidable. 408-417
  
• 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