@InProceedings{BlazyFacon1996,
  author = 	 "Sandrine Blazy and Philippe Facon",
  title = 	 "An Automatic Interprocedural Analysis for the
  Understanding of Scientific Application Programs",
  crossref =	 "PE1996",
  pages =	 "1-16"
}


@InProceedings{BulyonkovKochetov1996,
  author = 	 "Mikhail A. Bulyonkov and Dmitrij V. Kochetov",
  title = 	 "Practical Aspects of Specialization of {Algol}-like Programs",
  crossref =	 "PE1996",
  pages =	 "17-32"
}

@InProceedings{ChinKhooThiemann1996,
  author = 	 "Wei-Ngan Chin and Siau-Cheng Khoo and Peter Thiemann",
  title = 	 "Synchronization Analyses for Multiple Recursion Parameters",
  crossref =	 "PE1996",
  pages =	 "33-53"
}

@InProceedings{ConselHornofNoelNoyeVolanschi1996,
  author = 	 "Charles Consel and Luke Hornof and Fran{\c{c}}ois Noël and
  Jacques Noyé and Nicolae Volanschi",
  title = 	 "A Uniform Approach for Compile-Time and Run-Time Specialization",
  crossref =	 "PE1996",
  pages =	 "54-72"
}

@InProceedings{Danvy1996-pe1996,
  author = 	 "Olivier Danvy",
  title = 	 "Pragmatics of Type-Directed Partial Evaluation",
  crossref =	 "PE1996",
  pages =	 "73-94"
}

@InProceedings{Draves1996,
  author = 	 "Scott Draves",
  title = 	 "Compiler Generation for Interactive Graphics using Intermediate Code",
  crossref =	 "PE1996",
  pages =	 "95-114"
}

@InProceedings{GallagherLafave1996,
  author = 	 "John P. Gallagher and Laura Lafave",
  title = 	 "Regular Approximation of Computation Paths in Logic and Functional
    Languages",
  crossref =	 "PE1996",
  pages =	 "115-136"
}

@InProceedings{GlueckSoerensen1996-pe1996,
  author = 	 "Robert Gl{\"u}ck and Morten Heine Sørensen",
  title = 	 "A Roadmap to Metacomputation by Supercompilation",
  crossref =	 "PE1996",
  pages =	 "137-160"
}

@InProceedings{HatcliffGlueck1996,
  author = 	 "John Hatcliff and Robert Gl{\"u}ck",
  title = 	 "Reasoning about Hierarchies of Online Program Specialization Systems",
  crossref =	 "PE1996",
  pages =	 "161-182"
}

@InProceedings{Hughes1996,
  author = 	 "John Hughes",
  title = 	 "Type Specialisation for the $\lambda$-calculus; or, A
  New Paradigm for Partial Evaluation based on Type Inference",
  crossref =	 "PE1996",
  pages =	 "183-215"
}

@InProceedings{Jones1996-pe1996,
  author = 	 "Neil D. Jones",
  title = 	 "What {\emph{Not}} to Do When Writing an Interpreter for Specialisation",
  crossref =	 "PE1996",
  pages =	 "216-237"
}

@InProceedings{JoergensenLeuschel1996,
  author = 	 "Jesper Jørgensen and Michael Leuschel",
  title = 	 "Efficiently Generating Efficient Generating Extensions in {Prolog}",
  crossref =	 "PE1996",
  pages =	 "238-262"
}

@InProceedings{LeuschelMartens1996-pe1996,
  author = 	 "Michael Leuschel and Bern Martens",
  title = 	 "Global Control for Partial Deduction through Characteristic Atoms
    and Global Trees",
  crossref =	 "PE1996",
  pages =	 "263-283"
}

@InProceedings{MinuissiSherman1996,
  author = 	 "Alain Miniussi, David Sherman",
  title = 	 "Squeezing Intermediate Construction in Equational Programs",
  crossref =	 "PE1996",
  pages =	 "284-302"
}

@InProceedings{Mogensen1996-pe1996,
  author = 	 "Torben Æ. Mogensen",
  title = 	 "Evolution of Partial Evaluators: Removing Inherited Limits",
  crossref =	 "PE1996",
  pages =	 "303-321"
}

@InProceedings{NemytykhPinchukTurchin1996,
  author = 	 "Andrei P. Nemytykh and Victoria A. Pinchuk and Valentin F. Turchin",
  title = 	 "A Self-Applicable Supercompiler",
  crossref =	 "PE1996",
  pages =	 "322-337"
}

@InProceedings{NielsonNielson1996-pe1996,
  author = 	 "Flemming Nielson and Hanne Riis Nielson",
  title = 	 "Multi-Level Lambda-Calculi: an Algebraic Description",
  crossref =	 "PE1996",
  pages =	 "338-354"
}

@InProceedings{PettorossiProietti1996,
  author = 	 "Alberto Pettorossi and Maurizio Proietti",
  title = 	 "A Comparative Revisitation of Some Program Transformation Techniques",
  crossref =	 "PE1996",
  pages =	 "355-385"
}

@InProceedings{PettorossiProietti1996-pe1996,
  author = 	 "Alberto Pettorossi and Maurizio Proietti",
  title = 	 "A Theory of Logic Program Specialization and
  Generalization for Dealing with Input Data Properties",
  crossref =	 "PE1996",
  pages =	 "386-408"
}

@InProceedings{RepsTurnidge1996,
  author = 	 "Thomas Reps and Todd Turnidge",
  title = 	 "Program Specialization via Program Slicing",
  crossref =	 "PE1996",
  pages =	 "409-429"
}

@InProceedings{Sakharov1996,
  author = 	 "Alexander Sakharov",
  title = 	 "Specialization of Imperative Programs through Analysis of Relational
    Expressions",
  crossref =	 "PE1996",
  pages =	 "430-445"
}

@InProceedings{Sestoft1996,
  author = 	 "Peter Sestoft",
  title = 	 "{ML} Pattern Match Compilation and Partial Evaluation",
  crossref =	 "PE1996",
  pages =	 "446-464"
}

@InProceedings{Sperber1996-pe1996,
  author = 	 "Michael Sperber",
  title = 	 "Self-Applicable Online Partial Evaluation",
  crossref =	 "PE1996",
  pages =	 "465-480"
}

@InProceedings{Turchin1995-pe1996,
  author = 	 "Valentin F. Turchin",
  title = 	 "Metacomputation: Metasystemtransition plus Supercompilation",
  crossref =	 "PE1996",
  pages =	 "481-509"
}

@Proceedings{PE1996,
  title = 	 "Partial Evaluation",
  booktitle = 	 "Partial Evaluation",
  year = 	 1996,
  editor =	 "Olivier Danvy and Robert Gl{\"u}ck and Peter Thiemann",
  volume =	 "1110",
  series =	 "Lecture Notes in Computer Science",
  publisher =	 "Springer Verlag, Heidelberg",
  address =	 "Dagstuhl, Germany",
  month =	 feb,
  annote =	 "512 pages"
}