%%% ====================================================================
%%%  BibTeX-file{
%%%   filename  = "esop.bib",
%%%   url = "http://theory.lcs.mit.edu/~dmjones/hbp/bibs/ley/esop/esop.bib",
%%%   version   = "2.00",
%%%   date      = "04 March 1999",
%%%   time      = "14:29:49 EST",
%%%   author    = "David M. Jones",
%%%   address   = "MIT Laboratory for Computer Science
%%%                Room NE43-316
%%%                545 Technology Square
%%%                Cambridge, MA 02139
%%%                USA",
%%%   telephone = "(617) 253-5936",
%%%   FAX       = "(617) 253-3480",
%%%   checksum  = "49765 1540 3455 37608",
%%%   email     = "dmjones at theory.lcs.mit.edu",
%%%   codetable = "ISO/ASCII",
%%%   keywords  = "",
%%%   supported = "yes",
%%%   abstract  = "This file is derived from Michael Ley's hypertext
%%%                bibliography of the Proceedings of the European
%%%                Symposium on Programming (ESOP). Although I have
%%%                tried to ensure that his html files have been
%%%                accurately converted into BibTeX format, there are
%%%                undoubtably a number of errors still present.  If
%%%                you find one, please notify me at the above email
%%%                address.
%%%
%%%                Michael Ley's original files are available at
%%%
%%%                    http://www.informatik.uni-trier.de/~ley/db/
%%%                ",
%%%   docstring = "The checksum field above contains a CRC-16 checksum
%%%                as the first value, followed by the equivalent of
%%%                the standard UNIX wc (word count) utility output of
%%%                lines, words, and characters.  This is produced by
%%%                Robert Solovay's checksum utility.",
%%%  }
%%% ====================================================================

EUROPEAN SYMPOSIUM ON PROGRAMMING

                              ESOP 1986
                        Saarbr\"ucken, Germany

@InProceedings{ESOP::DamJ1986,
  title =        "Compiler Generation from Relational Semantics",
  author =       "Mads Dam and Frank Jensen",
  crossref =     "ESOP::esop86",
  pages =        "1--29",
}

@InProceedings{ESOP::Nielson1986,
  title =        "Correctness of Code Generation from a Two-Level
                 Meta-Language",
  author =       "Flemming Nielson",
  crossref =     "ESOP::esop86",
  pages =        "30--40",
}

@InProceedings{ESOP::FelgentreuL1986,
  title =        "A General Approach to the Optimization of Function
                 Calls",
  author =       "Kay-Ulrich Felgentreu and Wolfram-Manfred Lippe",
  crossref =     "ESOP::esop86",
  pages =        "41--52",
}

@InProceedings{ESOP::KastensS1986,
  title =        "Lifetime Analysis for Procedure Parameters",
  author =       "Uwe Kastens and M. Schmidt",
  crossref =     "ESOP::esop86",
  pages =        "53--69",
}

@InProceedings{ESOP::GlaserH1986,
  title =        "Another Implementation Technique for Applicative
                 Languages",
  author =       "Hugh Glaser and Sean Hayes",
  crossref =     "ESOP::esop86",
  pages =        "70--81",
}

@InProceedings{ESOP::Bellot1986,
  title =        "{GRAAL}: {A} Functional Programming System with
                 Uncurryfied Combinators and its Reduction Machine",
  author =       "Patrick Bellot",
  crossref =     "ESOP::esop86",
  pages =        "82--98",
}

@InProceedings{ESOP::HankinBJ1986,
  title =        "A Safe Approach to Parallel Combinator Reduction
                 (Extended Abstract)",
  author =       "Chris Hankin and Geoffrey Burn and Simon L. Peyton
                 Jones",
  crossref =     "ESOP::esop86",
  pages =        "99--110",
}

@InProceedings{ESOP::Bohm1986,
  title =        "Reducing Recursion to Iteration by Algebraic
                 Extension",
  author =       "Corrado B{\"o}hm",
  crossref =     "ESOP::esop86",
  pages =        "111--118",
}

@InProceedings{ESOP::BertE1986,
  title =        "Design and Implementation of a Generic, Logic and
                 Functional Programming Language",
  author =       "Didier Bert and Rachid Echahed",
  crossref =     "ESOP::esop86",
  pages =        "119--132",
}

@InProceedings{ESOP::NielsonN1986,
  title =        "Pragmatic Aspects of Two-Level Denotational
                 Meta-Languages",
  author =       "Hanne Riis Nielson and Flemming Nielson",
  crossref =     "ESOP::esop86",
  pages =        "133--143",
}

@InProceedings{ESOP::Naftalin1986,
  title =        "An Experiment in Practical Semantics",
  author =       "Maurice Naftalin",
  crossref =     "ESOP::esop86",
  pages =        "144--159",
}

@InProceedings{ESOP::DahlhausM1986,
  title =        "The Choice of Programming Primitives for {SETL}-Like
                 Programming Languages",
  author =       "Elias Dahlhaus and Johann A. Makowsky",
  crossref =     "ESOP::esop86",
  pages =        "160--172",
}

@InProceedings{ESOP::BernotBC1986,
  title =        "Algebraic Semantics of Exception Handling",
  author =       "Gilles Bernot and Michel Bidoit and Christine Choppy",
  crossref =     "ESOP::esop86",
  pages =        "173--186",
}

@InProceedings{ESOP::HeHS1986,
  title =        "Data Refinement Refined",
  author =       "Jifeng He and C. A. R. Hoare and J. W. Sanders",
  crossref =     "ESOP::esop86",
  pages =        "187--196",
}

@InProceedings{ESOP::Stark1986,
  title =        "Proving Entailment Between Conceptual State
                 Specifications",
  author =       "Eugene W. Stark",
  crossref =     "ESOP::esop86",
  pages =        "197--209",
}

@InProceedings{ESOP::TrioletFI1986,
  title =        "Automatic Parallelization of {Fortran} Programs in the
                 Presence of Procedure Calls",
  author =       "R{\'e}mi Triolet and Paul Feautrier and Fran{\c{c}}ois
                 Irigoin",
  crossref =     "ESOP::esop86",
  pages =        "210--222",
}

@InProceedings{ESOP::Jouvelot1986,
  title =        "Parallelization by Semantic Detection of Reductions",
  author =       "Pierre Jouvelot",
  crossref =     "ESOP::esop86",
  pages =        "223--236",
}

@InProceedings{ESOP::Kok1986,
  title =        "Denotational Semantics of Nets with Nondeterminism",
  author =       "Joost N. Kok",
  crossref =     "ESOP::esop86",
  pages =        "237--249",
}

@InProceedings{ESOP::Salminen1986,
  title =        "Specification of a Tool for Viewing Program Text",
  author =       "Airi Salminen",
  crossref =     "ESOP::esop86",
  pages =        "250--261",
}

@InProceedings{ESOP::Boizumault1986,
  title =        "A Classical Implementation for {Prolog-II}",
  author =       "Patrice Boizumault",
  crossref =     "ESOP::esop86",
  pages =        "262--273",
}

@InProceedings{ESOP::MelloN1986,
  title =        "Programs as Collections of Communicating {Prolog}
                 Units",
  author =       "Paola Mello and Antonio Natali",
  crossref =     "ESOP::esop86",
  pages =        "274--288",
}

@InProceedings{ESOP::SchwinnB1986,
  title =        "An And-Parallel Execution Model of Logic Programs",
  author =       "Bernd Schwinn and Gerhard Barth",
  crossref =     "ESOP::esop86",
  pages =        "289--300",
}

@InProceedings{ESOP::TanakaK1986,
  title =        "Compiling Extended Concurrent {Prolog}---Single Queue
                 Compilation",
  author =       "Jiro Tanaka and Makoto Kishishita",
  crossref =     "ESOP::esop86",
  pages =        "301--314",
}

@InProceedings{ESOP::CodognetCF1986,
  title =        "A Very Intelligent Backtracking Method for Logic
                 Programs",
  author =       "Christian Codognet and Philippe Codognet and Gilberto
                 Fil{\'e}",
  crossref =     "ESOP::esop86",
  pages =        "315--326",
}

@InProceedings{ESOP::Sondergaard1986,
  title =        "An Application of Abstract Interpretation of Logic
                 Programs: Occur Check Reduction",
  author =       "Harald S{\o}ndergaard",
  crossref =     "ESOP::esop86",
  pages =        "327--338",
}

@InProceedings{ESOP::GeserH1986,
  title =        "Experiences with the {RAP} System---{A} Specification
                 Interpreter Combining Term Rewriting and Resolution",
  author =       "Alfons Geser and Heinrich Hu{\ss}mann",
  crossref =     "ESOP::esop86",
  pages =        "339--350",
}

@InProceedings{ESOP::Kaplan1986,
  title =        "Rewriting with a Nondeterministic Choice Operator:
                 From Algebra to Proofs",
  author =       "St{\'e}phane Kaplan",
  crossref =     "ESOP::esop86",
  pages =        "351--374",
}

ESOP 1988
                            Nancy, France

@InProceedings{ESOP::RepsH1988,
  title =        "Semantics-Based Program Integration",
  author =       "Thomas W. Reps and Susan Horwitz",
  crossref =     "ESOP::esop88",
  pages =        "1--20",
}

@InProceedings{ESOP::GoughB1988,
  title =        "A Semantics Driven Temporal Verification System",
  author =       "Graham Gough and Howard Barringer",
  crossref =     "ESOP::esop88",
  pages =        "21--33",
}

@InProceedings{ESOP::Krieg-Bruckner1988,
  title =        "Algebraic Formalisation of Program Development by
                 Transformation",
  author =       "Bernd Krieg-Br{\"u}ckner",
  crossref =     "ESOP::esop88",
  pages =        "34--48",
}

@InProceedings{ESOP::Takayama1988,
  title =        "{QPC}: {QJ}-based Proof Compiler---Simple Examples and
                 Analysis",
  author =       "Yukihide Takayama",
  crossref =     "ESOP::esop88",
  pages =        "49--63",
}

@InProceedings{ESOP::Diepen1988,
  title =        "Implementation of Modular Algebraic Specifications",
  author =       "N. W. P. van Diepen",
  crossref =     "ESOP::esop88",
  pages =        "64--78",
}

@InProceedings{ESOP::DietrichH1988,
  title =        "A Polymorphic Type System with Subtypes for {Prolog}",
  author =       "Roland Dietrich and Frank Hagl",
  crossref =     "ESOP::esop88",
  pages =        "79--93",
}

@InProceedings{ESOP::FuhM1988,
  title =        "Type Inference with Subtypes",
  author =       "You-Chin Fuh and Prateek Mishra",
  crossref =     "ESOP::esop88",
  pages =        "94--114",
}

@InProceedings{ESOP::GaudelM1988,
  title =        "A Theory of Software Reusability",
  author =       "Marie-Claude Gaudel and Th. Moineau",
  crossref =     "ESOP::esop88",
  pages =        "115--130",
}

@InProceedings{ESOP::Kaes1988,
  title =        "Parametric Overloading in Polymorphic Programming
                 Languages",
  author =       "Stefan Kaes",
  crossref =     "ESOP::esop88",
  pages =        "131--144",
}

@InProceedings{ESOP::Parigot1988,
  title =        "Programming with Proofs: {A} Second Order Type
                 Theory",
  author =       "Michel Parigot",
  crossref =     "ESOP::esop88",
  pages =        "145--159",
}

@InProceedings{ESOP::BretzE1988,
  title =        "An Exception Handling Construct for Functional
                 Languages",
  author =       "Manfred Bretz and J{\"u}rgen Ebert",
  crossref =     "ESOP::esop88",
  pages =        "160--174",
}

@InProceedings{ESOP::Heckmann1988,
  title =        "A Functional Language for the Specification of Complex
                 Tree Transformations",
  author =       "Reinhold Heckmann",
  crossref =     "ESOP::esop88",
  pages =        "175--190",
}

@InProceedings{ESOP::KaplanK1988,
  title =        "Garp: Graph Abstractions for Concurrent Programming",
  author =       "Simon M. Kaplan and Gail E. Kaiser",
  crossref =     "ESOP::esop88",
  pages =        "191--205",
}

@InProceedings{ESOP::Legrand1988,
  title =        "Extending Functional Programming Towards Relations",
  author =       "Remi Legrand",
  crossref =     "ESOP::esop88",
  pages =        "206--220",
}

@InProceedings{ESOP::AikenN1988,
  title =        "Perfect Pipelining: {A} New Loop Parallelization
                 Technique",
  author =       "Alexander Aiken and Alexandru Nicolau",
  crossref =     "ESOP::esop88",
  pages =        "221--235",
}

@InProceedings{ESOP::Consel1988,
  title =        "New Insights into Partial Evaluation: the {SCHISM}
                 Experiment",
  author =       "Charles Consel",
  crossref =     "ESOP::esop88",
  pages =        "236--246",
}

@InProceedings{ESOP::GiegerichS1988,
  title =        "Code Selection Techniques: Pattern Matching, Tree
                 Parsing, and Inversion of Derivors",
  author =       "Robert Giegerich and Karl Schmal",
  crossref =     "ESOP::esop88",
  pages =        "247--268",
}

@InProceedings{ESOP::Horwitz1988,
  title =        "Adding Relational Query Facilities to Software
                 Development Environments",
  author =       "Susan Horwitz",
  crossref =     "ESOP::esop88",
  pages =        "269--283",
}

@InProceedings{ESOP::JacobsL1988,
  title =        "Compilation of Logic Programs for Restricted
                 And-Parallelism",
  author =       "Dean Jacobs and Anno Langen",
  crossref =     "ESOP::esop88",
  pages =        "284--297",
}

@InProceedings{ESOP::Laville1988,
  title =        "Implementation of Lazy Pattern Matching Algorithms",
  author =       "Alain Laville",
  crossref =     "ESOP::esop88",
  pages =        "298--316",
}

@InProceedings{ESOP::MartelliR1988,
  title =        "Enhancing {Prolog} to Support {Prolog} Programming
                 Environments",
  author =       "Alberto Martelli and Gianfranco Rossi",
  crossref =     "ESOP::esop88",
  pages =        "317--327",
}

@InProceedings{ESOP::NielsonN1988,
  title =        "2-level lambda-lifting",
  author =       "Flemming Nielson and Hanne Riis Nielson",
  crossref =     "ESOP::esop88",
  pages =        "328--343",
}

@InProceedings{ESOP::Wadler1988,
  title =        "Deforestation: Transforming Programs to Eliminate
                 Trees",
  author =       "Philip Wadler",
  crossref =     "ESOP::esop88",
  pages =        "344--358",
}

@InProceedings{ESOP::WeemeeuwBH1988,
  title =        "On Implementing Logic Programming Languages on a
                 Dataflow Architecture",
  author =       "Patrick Weemeeuw and Maurice Bruynooghe and Marleen De
                 Haondt",
  crossref =     "ESOP::esop88",
  pages =        "359--372",
}

@InProceedings{ESOP::BahlkeS1988,
  title =        "The {PSG} System: From Formal Language Definitions to
                 Interactive Programming Environments",
  author =       "Rolf Bahlke and Gregor Snelting",
  crossref =     "ESOP::esop88",
  pages =        "374--375",
}

@InProceedings{ESOP::BertDEDDSW1988,
  title =        "{LPG}: {A} Generic, Logic and Functional Programming
                 Language",
  author =       "Didier Bert and P. Drabik and Rachid Echahed and O.
                 Declerfayt and B. Demeuse and P.-Y. Schobbens and F.
                 Wautier",
  crossref =     "ESOP::esop88",
  pages =        "376--377",
}

@InProceedings{ESOP::BertlingGS1988,
  title =        "{CEC}: {A} System for the Completion of Conditional
                 Equational Specifications",
  author =       "Hubert Bertling and Harald Ganzinger and Renate
                 Sch{\"a}fers",
  crossref =     "ESOP::esop88",
  pages =        "378--379",
}

@InProceedings{ESOP::Heckmann1988,
  title =        "A Functional Language for the Specification of Complex
                 Tree Transformations (System Exhibition)",
  author =       "Reinhold Heckmann",
  crossref =     "ESOP::esop88",
  pages =        "380",
}

ESOP 1990
                         Copenhagen, Denmark

@InProceedings{ESOP::BarendregtH1990,
  title =        "Types in Lambda Calculi and Programming Languages",
  author =       "Henk Barendregt and Kees Hemerik",
  crossref =     "ESOP::esop90",
  pages =        "1--35",
}

@InProceedings{ESOP::Paige1990,
  title =        "Symbolic Finite Differencing---Part~{I}",
  author =       "Robert Paige",
  crossref =     "ESOP::esop90",
  pages =        "36--56",
}

@InProceedings{ESOP::Bertot1990,
  title =        "Implementation of an Interpreter for a Parallel
                 Language in Centaur",
  author =       "Yves Bertot",
  crossref =     "ESOP::esop90",
  pages =        "57--69",
}

@InProceedings{ESOP::Bondorf1990,
  title =        "Automatic Autoprojection of Higher Order Recursive
                 Equations",
  author =       "Anders Bondorf",
  crossref =     "ESOP::esop90",
  pages =        "70--87",
}

@InProceedings{ESOP::ConselD1990,
  title =        "From Interpreting to Compiling Binding Times",
  author =       "Charles Consel and Olivier Danvy",
  crossref =     "ESOP::esop90",
  pages =        "88--105",
}

@InProceedings{ESOP::SchreyePRB1990,
  title =        "Implementing Finite-domain Constraint Logic
                 Programming on Top of a {Prolog}-System with
                 Delay-mechanism",
  author =       "Danny De Schreye and Dirk Pollet and Johan Ronsyn and
                 Maurice Bruynooghe",
  crossref =     "ESOP::esop90",
  pages =        "106--117",
}

@InProceedings{ESOP::EvenS1990,
  title =        "Type Inference for Action Semantics",
  author =       "Susan Even and David A. Schmidt",
  crossref =     "ESOP::esop90",
  pages =        "118--133",
}

@InProceedings{ESOP::Felleisen1990,
  title =        "On the Expressive Power of Programming Languages",
  author =       "Matthias Felleisen",
  crossref =     "ESOP::esop90",
  pages =        "134--151",
}

@InProceedings{ESOP::GoldbergP1990,
  title =        "Higher Order Escape Analysis: Optimizing Stack
                 Allocation in Functional Program Implementations",
  author =       "Benjamin Goldberg and Young Gil Park",
  crossref =     "ESOP::esop90",
  pages =        "152--160",
}

@InProceedings{ESOP::Gribomont1990,
  title =        "Development of Concurrent Systems by Incremental
                 Transformations",
  author =       "E. Pascal Gribomont",
  crossref =     "ESOP::esop90",
  pages =        "161--176",
}

@InProceedings{ESOP::Heckmann1990,
  title =        "Set Domains",
  author =       "Reinhold Heckmann",
  crossref =     "ESOP::esop90",
  pages =        "177--196",
}

@InProceedings{ESOP::Helmink1990,
  title =        "Resolution and Type Theory",
  author =       "Leen Helmink",
  crossref =     "ESOP::esop90",
  pages =        "197--211",
}

@InProceedings{ESOP::JeffersonLF1990,
  title =        "A Syntactic Theory of Transparent Parameterization",
  author =       "Stanley Jefferson and Shinn-Der Lee and Daniel P.
                 Friedman",
  crossref =     "ESOP::esop90",
  pages =        "212--226",
}

@InProceedings{ESOP::JensenM1990,
  title =        "A Backwards Analysis for Compile-time Garbage
                 Collection",
  author =       "Thomas P. Jensen and Torben {\AE}. Mogensen",
  crossref =     "ESOP::esop90",
  pages =        "227--239",
}

@InProceedings{ESOP::JourdanP1990,
  title =        "Techniques for Improving Grammar Flow Analysis",
  author =       "Martin Jourdan and Didier Parigot",
  crossref =     "ESOP::esop90",
  pages =        "240--255",
}

@InProceedings{ESOP::Kennaway1990,
  title =        "The Specificity Rule for Lazy Pattern-Matching in
                 Ambiguous Term Rewrite Systems",
  author =       "Richard Kennaway",
  crossref =     "ESOP::esop90",
  pages =        "256--270",
}

@InProceedings{ESOP::KuchenLMR1990,
  title =        "Graph-based Implementation of a Functional Logic
                 Langugage",
  author =       "Herbert Kuchen and Rita Loogen and Juan Jos{\'e}
                 Moreno-Navarro and Mario Rodr{\'\i}guez-Artalejo",
  crossref =     "ESOP::esop90",
  pages =        "271--290",
}

@InProceedings{ESOP::NielsonN1990,
  title =        "Eureka Definitions for Free! or {Disagreement} Points
                 for Fold/Unfold Transformations",
  author =       "Hanne Riis Nielson and Flemming Nielson",
  crossref =     "ESOP::esop90",
  pages =        "291--305",
}

@InProceedings{ESOP::ProiettiP1990,
  title =        "Synthesis of {Eureka} Predicates for Developing Logic
                 Programs",
  author =       "Maurizio Proietti and Alberto Pettorossi",
  crossref =     "ESOP::esop90",
  pages =        "306--325",
}

@InProceedings{ESOP::Reps1990,
  title =        "Algebraic Properties of Program Integration",
  author =       "Thomas W. Reps",
  crossref =     "ESOP::esop90",
  pages =        "326--340",
}

@InProceedings{ESOP::Romanenko1990,
  title =        "Arity Raiser and its Use in Program Specialization",
  author =       "Sergei A. Romanenko",
  crossref =     "ESOP::esop90",
  pages =        "341--360",
}

@InProceedings{ESOP::Sands1990,
  title =        "Complexity Analysis for a Lazy Higher-Order Language",
  author =       "David Sands",
  crossref =     "ESOP::esop90",
  pages =        "361--376",
}

@InProceedings{ESOP::SchnoebelenP1990,
  title =        "On the Weak Adequacy of Branching-Time Remporal
                 Logic",
  author =       "Ph. Schnoebelen and Sophie Pinchinat",
  crossref =     "ESOP::esop90",
  pages =        "377--388",
}

@InProceedings{ESOP::SteffenKR1990,
  title =        "The Value Flow Graph: {A} Program Representation for
                 Optimal Program Transformations",
  author =       "Bernhard Steffen and Jens Knoop and Oliver
                 R{\"u}thing",
  crossref =     "ESOP::esop90",
  pages =        "389--405",
}

@InProceedings{ESOP::Thatte1990,
  title =        "Type Inference and Implicit Scaling",
  author =       "Satish Thatte",
  crossref =     "ESOP::esop90",
  pages =        "406--420",
}

@InProceedings{ESOP::Voronkov1990,
  title =        "Towards the Theory of Programming in Constructive
                 Logic",
  author =       "A. A. Voronkov",
  crossref =     "ESOP::esop90",
  pages =        "421--435",
}

ESOP 1992
                            Rennes, France

@InProceedings{ESOP::Andersen1992,
  title =        "Model Checking and {Boolean} Graphs",
  author =       "Henrik Reif Andersen",
  crossref =     "ESOP::esop92",
  pages =        "1--19",
}

@InProceedings{ESOP::BenvenisteBG1992,
  title =        "{SIGNAL} as a Model for Real-Time and Hybrid Systems",
  author =       "Albert Benveniste and Michel Le Borgne and Paul Le
                 Guernic",
  crossref =     "ESOP::esop92",
  pages =        "20--38",
}

@InProceedings{ESOP::BernotBK1992,
  title =        "Towards an Adequate Notion of Observation",
  author =       "Gilles Bernot and Michel Bidoit and Teodor Knapik",
  crossref =     "ESOP::esop92",
  pages =        "39--55",
}

@InProceedings{ESOP::BernsteinRS1992,
  title =        "Proving Safety of Speculative Load Instructions at
                 Compile Time",
  author =       "David Bernstein and Michael Rodeh and Shmuel Sagiv",
  crossref =     "ESOP::esop92",
  pages =        "56--72",
}

@InProceedings{ESOP::BossiCF1992,
  title =        "Typed Norms",
  author =       "Annalisa Bossi and Nicoletta Cocco and Massimo
                 Fabris",
  crossref =     "ESOP::esop92",
  pages =        "73--92",
}

@InProceedings{ESOP::ChenM1992,
  title =        "Compositional Refinements in Multiple Blackboard
                 Systems",
  author =       "X. J. Chen and Carlo Montangero",
  crossref =     "ESOP::esop92",
  pages =        "93--109",
}

@InProceedings{ESOP::Chuang1992,
  title =        "Fully Persistent Arrays for Efficient Incremental
                 Updates and Voluminous Reads",
  author =       "Tyng-Ruey Chuang",
  crossref =     "ESOP::esop92",
  pages =        "110--129",
}

@InProceedings{ESOP::Danvy1992,
  title =        "Back to Direct Style",
  author =       "Olivier Danvy",
  crossref =     "ESOP::esop92",
  pages =        "130--150",
}

@InProceedings{ESOP::DohS1992,
  title =        "Extraction of Strong Typing Laws from Action Semantics
                 Definitions",
  author =       "Kyung-Goo Doh and David A. Schmidt",
  crossref =     "ESOP::esop92",
  pages =        "151--166",
}

@InProceedings{ESOP::GiacobazziR1992,
  title =        "Detecting Determinate Computations by Bottom-up
                 Abstract Interpretation",
  author =       "Roberto Giacobazzi and Laura Ricci",
  crossref =     "ESOP::esop92",
  pages =        "167--181",
}

@InProceedings{ESOP::Gnaedig1992,
  title =        "{ELIOS-OBJ} Theorem Proving in a Specification
                 Language",
  author =       "Isabelle Gnaedig",
  crossref =     "ESOP::esop92",
  pages =        "182--199",
}

@InProceedings{ESOP::Goldberg1992,
  title =        "Incremental Garbage Collection Without Tags",
  author =       "Benjamin Goldberg",
  crossref =     "ESOP::esop92",
  pages =        "200--218",
}

@InProceedings{ESOP::HankinH1992,
  title =        "Approximate Fixed Points in Abstract Interpretation",
  author =       "Chris Hankin and Sebastian Hunt",
  crossref =     "ESOP::esop92",
  pages =        "219--232",
}

@InProceedings{ESOP::Henglein1992,
  title =        "Dynamic Typing",
  author =       "Fritz Henglein",
  crossref =     "ESOP::esop92",
  pages =        "233--253",
}

@InProceedings{ESOP::HogenKL1992,
  title =        "Automatic Parallelization of Lazy Functional
                 Programs",
  author =       "Guido Hogen and Andrea Kindler and Rita Loogen",
  crossref =     "ESOP::esop92",
  pages =        "254--268",
}

@InProceedings{ESOP::HughesL1992,
  title =        "Reversing Abstract Interpretations",
  author =       "John Hughes and John Launchbury",
  crossref =     "ESOP::esop92",
  pages =        "269--286",
}

@InProceedings{ESOP::Jones1992,
  title =        "A Theory of Qualified Types",
  author =       "Mark P. Jones",
  crossref =     "ESOP::esop92",
  pages =        "287--306",
}

@InProceedings{ESOP::Krishnan1992,
  title =        "A Semantics for Multiprocessor Systems",
  author =       "Padmanabhan Krishnan",
  crossref =     "ESOP::esop92",
  pages =        "307--320",
}

@InProceedings{ESOP::Larcheveque1992,
  title =        "Interprocedural Type Propagation for Object-Oriented
                 Languages",
  author =       "Jean-Marie Larchev{\^e}que",
  crossref =     "ESOP::esop92",
  pages =        "321--340",
}

@InProceedings{ESOP::Levaire1992,
  title =        "Using the Centaur System to for Data-Parallel {SIMD}
                 Programming: {A} Case Study",
  author =       "Jean-Luc Levaire",
  crossref =     "ESOP::esop92",
  pages =        "341--350",
}

@InProceedings{ESOP::NielsonN1992,
  title =        "The Tensor Product in {Wadler's} Analysis of Lists",
  author =       "Flemming Nielson and Hanne Riis Nielson",
  crossref =     "ESOP::esop92",
  pages =        "351--370",
}

@InProceedings{ESOP::NieuwenhuisR1992,
  title =        "Basic Superposition is Complete",
  author =       "Robert Nieuwenhuis and Albert Rubio",
  crossref =     "ESOP::esop92",
  pages =        "371--389",
}

@InProceedings{ESOP::Odersky1992,
  title =        "Observers for Linear Types",
  author =       "Martin Odersky",
  crossref =     "ESOP::esop92",
  pages =        "390--407",
}

@InProceedings{ESOP::OKeefeW1992,
  title =        "Type Inference for Partial Types is Decidable",
  author =       "Patrick O'Keefe and Mitchell Wand",
  crossref =     "ESOP::esop92",
  pages =        "408--417",
}

@InProceedings{ESOP::Palsberg1992,
  title =        "A Provably Correct Compiler Generator",
  author =       "Jens Palsberg",
  crossref =     "ESOP::esop92",
  pages =        "418--434",
}

@InProceedings{ESOP::PurushothamanS1992,
  title =        "An Adequate Operational Semantics for Sharing in Lazy
                 Evaluation",
  author =       "S. Purushothaman and Jill Seaman",
  crossref =     "ESOP::esop92",
  pages =        "435--450",
}

@InProceedings{ESOP::Tarlecki1992,
  title =        "Modules for an Model-Oriented Specification Language:
                 {A} Proposal for {MetaSoft}",
  author =       "Andrzej Tarlecki",
  crossref =     "ESOP::esop92",
  pages =        "451--472",
}

@InProceedings{ESOP::Wright1992,
  title =        "Typing References by Effect Inference",
  author =       "Andrew K. Wright",
  crossref =     "ESOP::esop92",
  pages =        "473--491",
}

ESOP 1994
                           Edinburgh, U.K.

@InProceedings{ESOP::AbadiC1994,
  title =        "A Theory of Primitive Objects---Second-Order Systems",
  author =       "Mart{\'\i}n Abadi and Luca Cardelli",
  crossref =     "ESOP::esop94",
  pages =        "1--25",
}

@InProceedings{ESOP::Milner1994,
  title =        "Pi-Nets: {A} Graphical Form of {$\pi$}-Calculus",
  author =       "Robin Milner",
  crossref =     "ESOP::esop94",
  pages =        "26--42",
}

@InProceedings{ESOP::Amtoft1994,
  title =        "Local Type Reconstruction by Means of Symbolic Fixed
                 Point Iteration",
  author =       "Torben Amtoft",
  crossref =     "ESOP::esop94",
  pages =        "43--57",
}

@InProceedings{ESOP::AndersenM1994,
  title =        "An Asynchronous Algebra with Multiple Clocks",
  author =       "Henrik Reif Andersen and Michael Mendler",
  crossref =     "ESOP::esop94",
  pages =        "58--73",
}

@InProceedings{ESOP::Andrews1994,
  title =        "Foundational Issues in Implementing Constraint Logic
                 Programming Systems",
  author =       "James H. Andrews",
  crossref =     "ESOP::esop94",
  pages =        "74--88",
}

@InProceedings{ESOP::BerthomieuS1994,
  title =        "Programming with Behaviors in an {ML} Framework---The
                 Syntax and Semantics of {LCS}",
  author =       "Bernard Berthomieu and Thierry Le Sergent",
  crossref =     "ESOP::esop94",
  pages =        "89--104",
}

@InProceedings{ESOP::BidoitHW1994,
  title =        "Characterizing Behavioural Semantics and Abstractor
                 Semantics",
  author =       "Michel Bidoit and Rolf Hennicker and Martin Wirsing",
  crossref =     "ESOP::esop94",
  pages =        "105--119",
}

@InProceedings{ESOP::Boerio1994,
  title =        "Extending Pruning Techniques to Polymorphic Second
                 order Lambda-Calculus",
  author =       "Luca Boerio",
  crossref =     "ESOP::esop94",
  pages =        "120--134",
}

@InProceedings{ESOP::BohmPG1994,
  title =        "Lambda-Definition of Function(al)s by Normal Forms",
  author =       "Corrado B{\"o}hm and Adolfo Piperno and Stefano
                 Guerrini",
  crossref =     "ESOP::esop94",
  pages =        "135--149",
}

@InProceedings{ESOP::Buth1994,
  title =        "Simulation of {SOS} Definitions with Term Rewriting
                 Systems",
  author =       "Karl-Heinz Buth",
  crossref =     "ESOP::esop94",
  pages =        "150--164",
}

@InProceedings{ESOP::CiceroneP1994,
  title =        "Strategies in Modular System Design by Interface
                 Rewriting",
  author =       "S. Cicerone and Francesco Parisi-Presicce",
  crossref =     "ESOP::esop94",
  pages =        "165--179",
}

@InProceedings{ESOP::CorsiniR1994,
  title =        "Symbolic Model Checking and Constraint Logic
                 Programming: a Cross-Fertilization",
  author =       "Marc-Michel Corsini and Antoine Rauzy",
  crossref =     "ESOP::esop94",
  pages =        "180--194",
}

@InProceedings{ESOP::PierroP1994,
  title =        "A Logical Denotational Semantics for Constraint Logic
                 Programming",
  author =       "Alessandra Di Pierro and Catuscia Palamidessi",
  crossref =     "ESOP::esop94",
  pages =        "195--210",
}

@InProceedings{ESOP::Fradet1994,
  title =        "Compilation of Head and Strong Reduction",
  author =       "Pascal Fradet",
  crossref =     "ESOP::esop94",
  pages =        "211--224",
}

@InProceedings{ESOP::GiegerichK1994,
  title =        "Suffix Trees in the Functional Programming Paradigm",
  author =       "Robert Giegerich and Stefan Kurtz",
  crossref =     "ESOP::esop94",
  pages =        "225--240",
}

@InProceedings{ESOP::HallHJW1994,
  title =        "Type Classes in {Haskell}",
  author =       "Cordelia V. Hall and Kevin Hammond and Simon L. Peyton
                 Jones and Philip Wadler",
  crossref =     "ESOP::esop94",
  pages =        "241--256",
}

@InProceedings{ESOP::HankinM1994,
  title =        "Lazy Type Inference for the Strictness Analysis of
                 Lists",
  author =       "Chris Hankin and Daniel Le M{\'e}tayer",
  crossref =     "ESOP::esop94",
  pages =        "257--271",
}

@InProceedings{ESOP::Hanus1994,
  title =        "Lazy Unification with Simplification",
  author =       "Michael Hanus",
  crossref =     "ESOP::esop94",
  pages =        "272--286",
}

@InProceedings{ESOP::HengleinM1994,
  title =        "Polymorphic Binding-Time Analysis",
  author =       "Fritz Henglein and Christian Mossin",
  crossref =     "ESOP::esop94",
  pages =        "287--301",
}

@InProceedings{ESOP::JayC1994,
  title =        "Shapely Types and Shape Polymorphism",
  author =       "C. Barry Jay and J. Robin B. Cockett",
  crossref =     "ESOP::esop94",
  pages =        "302--316",
}

@InProceedings{ESOP::JeuringS1994,
  title =        "Bottom-up Grammar Analysis---{A} Functional
                 Formulation",
  author =       "Johan Jeuring and S. Doaitse Swierstra",
  crossref =     "ESOP::esop94",
  pages =        "317--332",
}

@InProceedings{ESOP::Kahrs1994,
  title =        "First-Class Polymorphism for {ML}",
  author =       "Stefan Kahrs",
  crossref =     "ESOP::esop94",
  pages =        "333--347",
}

@InProceedings{ESOP::Kennedy1994,
  title =        "Dimension Types",
  author =       "Andrew Kennedy",
  crossref =     "ESOP::esop94",
  pages =        "348--362",
}

@InProceedings{ESOP::King1994,
  title =        "A Synergistic Analysis for Sharing and Groundness with
                 Traces Linearity",
  author =       "Andy King",
  crossref =     "ESOP::esop94",
  pages =        "363--378",
}

@InProceedings{ESOP::Li1994,
  title =        "A {$\pi$}-Calculus Specification of {Prolog}",
  author =       "Benjamin Z. Li",
  crossref =     "ESOP::esop94",
  pages =        "379--393",
}

@InProceedings{ESOP::Li1994,
  title =        "A Logical Framework for Evolution of Specifications",
  author =       "Wei Li",
  crossref =     "ESOP::esop94",
  pages =        "394--408",
}

@InProceedings{ESOP::MacQueenT1994,
  title =        "A Semantics for Higher-Order Functors",
  author =       "David B. MacQueen and Mads Tofte",
  crossref =     "ESOP::esop94",
  pages =        "409--423",
}

@InProceedings{ESOP::Moreau1994,
  title =        "The {PCKS}-Machine: An Abstract Machine for Sound
                 Evaluation of Parallel Functional Programs with
                 First-Class Continuations",
  author =       "Luc Moreau",
  crossref =     "ESOP::esop94",
  pages =        "424--438",
}

@InProceedings{ESOP::MuckS1994,
  title =        "A Tiny Constrain Functional Logic Language and Its
                 Continuation Semantics",
  author =       "Andy M{\"u}ck and Thomas Streicher",
  crossref =     "ESOP::esop94",
  pages =        "439--453",
}

@InProceedings{ESOP::OHearnR1994,
  title =        "Fully Abstract Translations and Parametric
                 Polymorphism",
  author =       "Peter W. O'Hearn and Jon G. Riecke",
  crossref =     "ESOP::esop94",
  pages =        "454--468",
}

@InProceedings{ESOP::Prasad1994,
  title =        "Broadcasting with Priority",
  author =       "K. V. S. Prasad",
  crossref =     "ESOP::esop94",
  pages =        "469--484",
}

@InProceedings{ESOP::SorensenGJ1994,
  title =        "Towards Unifying Partial Evaluation, Deforestation,
                 Supercompilation, and {GPC}",
  author =       "Morten Heine S{\o}rensen and Robert Gl{\"u}ck and Neil
                 D. Jones",
  crossref =     "ESOP::esop94",
  pages =        "485--500",
}

@InProceedings{ESOP::Walker1994,
  title =        "Algebraic Proofs of Properties of Objects",
  author =       "David Walker",
  crossref =     "ESOP::esop94",
  pages =        "501--516",
}

ESOP 1996
                         Link\"oping, Sweden

@InProceedings{ESOP::Jones1996,
  title =        "Some Practical Problems and Their Influence on
                 Semantics",
  author =       "Cliff B. Jones",
  crossref =     "ESOP::esop96",
  pages =        "1--17",
}

@InProceedings{ESOP::Jones1996,
  title =        "Compiling {Haskell} by Program Transformation: {A}
                 Report from the Trenches",
  author =       "Simon L. Peyton Jones",
  crossref =     "ESOP::esop96",
  pages =        "18--44",
}

@InProceedings{ESOP::AlpuenteFV1996,
  title =        "Narrowing-Driven Partial Evaluation of Functional
                 Logic Programs",
  author =       "Mar{\'\i}a Alpuente and Moreno Falaschi and Germ{\'a}n
                 Vidal",
  crossref =     "ESOP::esop96",
  pages =        "45--61",
}

@InProceedings{ESOP::BarbutiM1996,
  title =        "A Multiple-Valued Logical Semantics for {Prolog}",
  author =       "Roberto Barbuti and Paolo Mancarella",
  crossref =     "ESOP::esop96",
  pages =        "62--76",
}

@InProceedings{ESOP::Bechet1996,
  title =        "Removing Value Encoding Using Alternative Values in
                 Partial Evaluation of Strongly-Typed Languages",
  author =       "Denis Bechet",
  crossref =     "ESOP::esop96",
  pages =        "77--91",
}

@InProceedings{ESOP::BergstraDFH1996,
  title =        "A Complete Transformational Toolkit for Compilers",
  author =       "Jan A. Bergstra and T. B. Dinesh and John Field and
                 Jan Heering",
  crossref =     "ESOP::esop96",
  pages =        "92--107",
}

@InProceedings{ESOP::BuenoGHP1996,
  title =        "Global Analysis of Standard {Prolog} Programs",
  author =       "Francisco Bueno and Daniel Cabeza Gras and Manuel V.
                 Hermenegildo and German Puebla",
  crossref =     "ESOP::esop96",
  pages =        "108--124",
}

@InProceedings{ESOP::FradetCM1996,
  title =        "Static Detection of Pointer Errors: An Axiomatisation
                 and a Checking Algorithm",
  author =       "Pascal Fradet and Ronan Caugne and Daniel Le
                 M{\'e}tayer",
  crossref =     "ESOP::esop96",
  pages =        "125--140",
}

@InProceedings{ESOP::GiacobazziR1996,
  title =        "Compositional Optimization of Disjunctive Abstract
                 Interpretations",
  author =       "Roberto Giacobazzi and Francesco Ranzato",
  crossref =     "ESOP::esop96",
  pages =        "141--155",
}

@InProceedings{ESOP::Gonzalez-MorenoHLR1996,
  title =        "A Rewriting Logic for Declarative Programming",
  author =       "J. C. Gonz{\'a}lez-Moreno and M. Teresa
                 Hortal{\'a}-Gonz{\'a}lez and Francisco Javier
                 L{\'o}pez-Fraguas and Mario Rodr{\'\i}guez-Artalejo",
  crossref =     "ESOP::esop96",
  pages =        "156--172",
}

@InProceedings{ESOP::Goubault1996,
  title =        "Durations for Truly-Concurrent Transitions",
  author =       "Eric Goubault",
  crossref =     "ESOP::esop96",
  pages =        "173--187",
}

@InProceedings{ESOP::JensenM1996,
  title =        "Flow Analysis in the Geometry of Interaction",
  author =       "Thomas P. Jensen and Ian Mackie",
  crossref =     "ESOP::esop96",
  pages =        "188--203",
}

@InProceedings{ESOP::LaunchburyP1996,
  title =        "Parametricity and Unboxing with Unpointed Types",
  author =       "John Launchbury and Ross Paterson",
  crossref =     "ESOP::esop96",
  pages =        "204--218",
}

@InProceedings{ESOP::LiangH1996,
  title =        "Modular Denotational Semantics for Compiler
                 Construction",
  author =       "Sheng Liang and Paul Hudak",
  crossref =     "ESOP::esop96",
  pages =        "219--234",
}

@InProceedings{ESOP::MaraninchiH1996,
  title =        "Compositional Semantics of Non-Deterministic
                 Synchronous Languages",
  author =       "F. Maraninchi and Nicolas Halbwachs",
  crossref =     "ESOP::esop96",
  pages =        "235--249",
}

@InProceedings{ESOP::MelzerE1996,
  title =        "Checking System Properties via Integer Programming",
  author =       "Stephan Melzer and Javier Esparza",
  crossref =     "ESOP::esop96",
  pages =        "250--264",
}

@InProceedings{ESOP::MontanariPY1996,
  title =        "Efficient Minimization up to Location Equivalence",
  author =       "Ugo Montanari and Marco Pistore and Daniel
                 Yankelevich",
  crossref =     "ESOP::esop96",
  pages =        "265--279",
}

@InProceedings{ESOP::PalsbergPL1996,
  title =        "A New Approach to Compiling Adaptive Programs",
  author =       "Jens Palsberg and Boaz Patt-Shamir and Karl J.
                 Lieberherr",
  crossref =     "ESOP::esop96",
  pages =        "280--295",
}

@InProceedings{ESOP::RohwedderP1996,
  title =        "Mode and Termination Checking for Higher-Order Logic
                 Programs",
  author =       "Ekkehard Rohwedder and Frank Pfenning",
  crossref =     "ESOP::esop96",
  pages =        "296--310",
}

@InProceedings{ESOP::Rose1996,
  title =        "Linear Time Hierarchies for a Functional Language
                 Machine Model",
  author =       "Eva Rose",
  crossref =     "ESOP::esop96",
  pages =        "311--325",
}

@InProceedings{ESOP::Seidl1996,
  title =        "Integer Constraints to Stop Deforestation",
  author =       "Helmut Seidl",
  crossref =     "ESOP::esop96",
  pages =        "326--340",
}

@InProceedings{ESOP::SmithV1996,
  title =        "Towards an {ML}-Style Polymorphic Type System
                 for~{C}",
  author =       "Geoffrey Smith and Dennis M. Volpano",
  crossref =     "ESOP::esop96",
  pages =        "341--355",
}

@InProceedings{ESOP::Stolen1996,
  title =        "Assumption/Commitment Rules for Dataflow
                 Networks---With an Emphasis on Completeness",
  author =       "Ketil St{\o}len",
  crossref =     "ESOP::esop96",
  pages =        "356--372",
}

@InProceedings{ESOP::ThuneA1996,
  title =        "Towards an Expressive Language for {PDE} Solvers",
  author =       "Michael Thun{\'e} and Krister {\AA}hlander",
  crossref =     "ESOP::esop96",
  pages =        "373--386",
}

@InProceedings{ESOP::BakelBF1996,
  title =        "Rewrite Systems with Abstraction and beta-Rule: Types,
                 Approximants and Normalization",
  author =       "Steffen van Bakel and Franco Barbanera and Maribel
                 Fern{\'a}ndez",
  crossref =     "ESOP::esop96",
  pages =        "387--403",
}

ESOP 1998
                           Lisbon, Portugal

@InProceedings{ESOP::Smolka1998,
  title =        "Concurrent Constraint Programming Based on Functional
                 Programming (Extended Abstract)",
  author =       "Gert Smolka",
  crossref =     "ESOP::esop98",
  pages =        "1--11",
}

@InProceedings{ESOP::AbadiG1998,
  title =        "A Bisimulation Method for Cryptographic Protocols",
  author =       "Mart{\'\i}n Abadi and Andrew D. Gordon",
  crossref =     "ESOP::esop98",
  pages =        "12--26",
}

@InProceedings{ESOP::BruynoogheLS1998,
  title =        "A Polyvariant Binding-Time Analysis for Off-line
                 Partial Deduction",
  author =       "Maurice Bruynooghe and Michael Leuschel and
                 Konstantinos F. Sagonas",
  crossref =     "ESOP::esop98",
  pages =        "27--41",
}

@InProceedings{ESOP::CairesM1998,
  title =        "Verifiable and Executable Logic Specifications of
                 Concurrent Objects in~{Lpi}",
  author =       "Lu{\'\i}s Caires and Lu{\'\i}s Monteiro",
  crossref =     "ESOP::esop98",
  pages =        "42--56",
}

@InProceedings{ESOP::ChatterjeeRL1998,
  title =        "Complexity of Concrete Type-Inference in the Presence
                 of Exceptions",
  author =       "Ramkrishnan Chatterjee and Barbara G. Ryder and
                 William Landi",
  crossref =     "ESOP::esop98",
  pages =        "57--74",
}

@InProceedings{ESOP::ChinKL1998,
  title =        "Synchronisation Analysis to Stop Tulping",
  author =       "Wei-Ngan Chin and Siau-Cheng Khoo and Tat-Wee Lee",
  crossref =     "ESOP::esop98",
  pages =        "75--89",
}

@InProceedings{ESOP::FechtS1998,
  title =        "Propagating Differences: An Efficient New Fixpoint
                 Algorithm for Distributive Constraint Systems",
  author =       "Christian Fecht and Helmut Seidl",
  crossref =     "ESOP::esop98",
  pages =        "90--104",
}

@InProceedings{ESOP::HenselHJT1998,
  title =        "Reasoning about Classes in Object-Oriented Languages:
                 Logical Models and Tools",
  author =       "Ulrich Hensel and Marieke Huisman and Bart Jacobs and
                 Hendrik Tews",
  crossref =     "ESOP::esop98",
  pages =        "105--121",
}

@InProceedings{ESOP::HondaVK1998,
  title =        "Language Primitives and Type Discipline for Structured
                 Communication-Based Programming",
  author =       "Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo",
  crossref =     "ESOP::esop98",
  pages =        "122--138",
}

@InProceedings{ESOP::JayS1998,
  title =        "The Functional Imperative: Shape!",
  author =       "C. Barry Jay and Paul Steckler",
  crossref =     "ESOP::esop98",
  pages =        "139--153",
}

@InProceedings{ESOP::KnoopRS1998,
  title =        "Code Motion and Code Placement: Just Synonyms?",
  author =       "Jens Knoop and Oliver R{\"u}thing and Bernhard
                 Steffen",
  crossref =     "ESOP::esop98",
  pages =        "154--169",
}

@InProceedings{ESOP::RustanL1998,
  title =        "Recursive Object Types in a Logic of Object-Oriented
                 Programs",
  author =       "K. Rustan and M. Leino",
  crossref =     "ESOP::esop98",
  pages =        "170--184",
}

@InProceedings{ESOP::MaraninchiR1998,
  title =        "Mode-Automata: About Modes and States for Reactive
                 Systems",
  author =       "Florence Maraninchi and Yanni R{\'e}mond",
  crossref =     "ESOP::esop98",
  pages =        "185--199",
}

@InProceedings{ESOP::Remy1998,
  title =        "From Classes to Objects via Subtyping",
  author =       "Didier R{\'e}my",
  crossref =     "ESOP::esop98",
  pages =        "200--220",
}

@InProceedings{ESOP::RossS1998,
  title =        "Building a Bridge between Pointer Aliases and Program
                 Dependences",
  author =       "John L. Ross and Shmuel Sagiv",
  crossref =     "ESOP::esop98",
  pages =        "221--235",
}

@InProceedings{ESOP::Ruggieri1998,
  title =        "A Complete Declarative Debugger of Missing Answers",
  author =       "Salvatore Ruggieri",
  crossref =     "ESOP::esop98",
  pages =        "236--251",
}

@InProceedings{ESOP::Scherlis1998,
  title =        "Systematic Change of Data Representation: Program
                 Manipulations and a Case Study",
  author =       "William L. Scherlis",
  crossref =     "ESOP::esop98",
  pages =        "252--266",
}

@InProceedings{ESOP::Thiemann1998,
  title =        "A Generic Framework for Specialization (Abridged
                 Version)",
  author =       "Peter Thiemann",
  crossref =     "ESOP::esop98",
  pages =        "267--281",
}

%% CROSSREFERENCES: KEEP AT END OF FILE

@String{lncs =   "Lecture Notes in Computer Science"}

@Proceedings{ESOP::ESOP86,
  title =        "{ESOP}~86, European Symposium on Programming",
  booktitle =    "ESOP~86, European Symposium on Programming",
  editor =       "Bernard Robinet and Reinhard Wilhelm",
  address =      "Saarbr{\"u}cken, Federal Republic of Germany",
  month =        "17--19~" # mar,
  year =         "1986",
  series =       lncs,
  volume =       "213",
  publisher =    "Springer",
  ISBN =         "ISBN 3-540-16442-1",
  crossrefonly = "1",
}

@Proceedings{ESOP::ESOP88,
  title =        "{ESOP}'88, 2nd European Symposium on Programming",
  booktitle =    "ESOP'88, 2nd European Symposium on Programming",
  editor =       "Harald Ganzinger",
  address =      "Nancy, France",
  month =        "21--24~" # mar,
  year =         "1988",
  series =       lncs,
  volume =       "300",
  publisher =    "Springer",
  ISBN =         "ISBN 3-540-19027-9",
  crossrefonly = "1",
}

@Proceedings{ESOP::ESOP90,
  title =        "{ESOP}'90, 3rd European Symposium on Programming",
  booktitle =    "ESOP'90, 3rd European Symposium on Programming",
  editor =       "Neil D. Jones",
  address =      "Copenhagen, Denmark",
  month =        "15--18~" # may,
  year =         "1990",
  series =       lncs,
  volume =       "432",
  publisher =    "Springer",
  ISBN =         "ISBN 3-540-52592-0",
  crossrefonly = "1",
}

@Proceedings{ESOP::ESOP92,
  title =        "{ESOP}'92, 4th European Symposium on Programming",
  booktitle =    "ESOP'92, 4th European Symposium on Programming",
  editor =       "Bernd Krieg-Br{\"u}ckner",
  address =      "Rennes, France",
  month =        "26--28~" # feb,
  year =         "1992",
  series =       lncs,
  volume =       "582",
  publisher =    "Springer",
  ISBN =         "ISBN 3-540-55253-7",
  crossrefonly = "1",
}

@Proceedings{ESOP::ESOP94,
  title =        "Programming Languages and Systems---{ESOP}'94, 5th
                 European Symposium on Programming",
  booktitle =    "Programming Languages and Systems---ESOP'94, 5th
                 European Symposium on Programming",
  editor =       "Donald Sannella",
  address =      "Edinburgh, U.K.",
  month =        "11--13~" # apr,
  year =         "1994",
  series =       lncs,
  volume =       "788",
  publisher =    "Springer",
  ISBN =         "ISBN 3-540-57880-3",
  crossrefonly = "1",
}

@Proceedings{ESOP::ESOP96,
  title =        "Programming Languages and Systems---{ESOP}'96, 6th
                 European Symposium on Programming",
  booktitle =    "Programming Languages and Systems---ESOP'96, 6th
                 European Symposium on Programming",
  editor =       "Hanne Riis Nielson",
  address =      "Link{\"o}ping, Sweden",
  month =        "22--24~" # apr,
  year =         "1996",
  series =       lncs,
  volume =       "1058",
  publisher =    "Springer",
  ISBN =         "ISBN 3-540-61055-3",
  crossrefonly = "1",
}

@Proceedings{ESOP::ESOP98,
  title =        "Programming Languages and Systems---{ESOP}'98, 7th
                 European Symposium on Programming",
  booktitle =    "Programming Languages and Systems---ESOP'98, 7th
                 European Symposium on Programming",
  editor =       "Chris Hankin",
  address =      "Lisbon, Portugal",
  month =        "28~" # mar # "--4~" # apr,
  year =         "1998",
  series =       lncs,
  volume =       "1381",
  publisher =    "Springer",
  ISBN =         "ISBN 3-540-64302-8",
  crossrefonly = "1",
}
