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