• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 25 matches

• 1996
• 
  Sandrine Blazy, Philippe Facon:
  An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs. Dagstuhl Seminar on Partial Evaluation 1996: 1-16
• 
  Mikhail A. Bulyonkov, Dmitry V. Kochetov:
  Practical Aspects of Specialization of Algol-like Programs. Dagstuhl Seminar on Partial Evaluation 1996: 17-32
• 
  Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann:
  Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). Dagstuhl Seminar on Partial Evaluation 1996: 33-53
• 
  Charles Consel, Luke Hornof, François Noël, Jacques Noyé, Nicolae Volansche:
  A Uniform Approach for Compile-Time and Run-Time Specialization. Dagstuhl Seminar on Partial Evaluation 1996: 54-72
• 
  Olivier Danvy:
  Pragmatics of Type-Directed Partial Evaluation. Dagstuhl Seminar on Partial Evaluation 1996: 73-94
• 
  Scott Draves:
  Compiler Generation for Interactive Graphics Using Intermediate Code. Dagstuhl Seminar on Partial Evaluation 1996: 95-114
• 
  John P. Gallagher, Laura Lafave:
  Regular Approximation of Computation Paths in Logic and Functional Languages. Dagstuhl Seminar on Partial Evaluation 1996: 115-136
• 
  Robert Glück, Morten Heine Sørensen:
  A Roadmap to Metacomputation by Supercompilation. Dagstuhl Seminar on Partial Evaluation 1996: 137-160
• 
  John Hatcliff, Robert Glück:
  Reasoning about Hierarchies of Online Program Specialization Systems. Dagstuhl Seminar on Partial Evaluation 1996: 161-182
• 
  John Hughes:
  Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference. Dagstuhl Seminar on Partial Evaluation 1996: 183-215
• 
  Neil D. Jones:
  What Not to Do When Writing an Interpreter for Specialisation. Dagstuhl Seminar on Partial Evaluation 1996: 216-237
• 
  Jesper Jørgensen, Michael Leuschel:
  Efficiently Generating Efficient Generating Extensions in Prolog. Dagstuhl Seminar on Partial Evaluation 1996: 238-262
• 
  Michael Leuschel, Bern Martens:
  Global Control for Partial Deduction through Characteristic Atoms and Global Trees. Dagstuhl Seminar on Partial Evaluation 1996: 263-283
• 
  Alain Miniussi, David J. Sherman:
  Squeezing Intermediate Construction in Equational Programs. Dagstuhl Seminar on Partial Evaluation 1996: 284-302
• 
  Torben Æ. Mogensen:
  Evolution of Partial Evaluators: Removing Inherited Limits. Dagstuhl Seminar on Partial Evaluation 1996: 303-321
• 
  Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin:
  A Self-Applicable Supercompiler. Dagstuhl Seminar on Partial Evaluation 1996: 322-337
• 
  Flemming Nielson, Hanne Riis Nielson:
  Multi-Level Lambda-Calculi: An Algebraic Description. Dagstuhl Seminar on Partial Evaluation 1996: 338-354
• 
  Alberto Pettorossi, Maurizio Proietti:
  A Comparative Revisitation of Some Program Transformation Techniques. Dagstuhl Seminar on Partial Evaluation 1996: 355-385
• 
  Alberto Pettorossi, Maurizio Proietti:
  A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties. Dagstuhl Seminar on Partial Evaluation 1996: 386-408
• 
  Thomas W. Reps, Todd Turnidge:
  Program Specialization via Program Slicing. Dagstuhl Seminar on Partial Evaluation 1996: 409-429
• 
  Alexander Sakharov:
  Specialization of Imperative Programs Through Analysis of Relational Expressions. Dagstuhl Seminar on Partial Evaluation 1996: 430-445
• 
  Peter Sestoft:
  MK Pattern Match Compilation and Partial Evaluation. Dagstuhl Seminar on Partial Evaluation 1996: 446-464
• 
  Michael Sperber:
  Self-Applicable Online Partial Evaluation. Dagstuhl Seminar on Partial Evaluation 1996: 465-480
• 
  Valentin F. Turchin:
  Metacomputation: Metasystem Transitions plus Supercompilation. Dagstuhl Seminar on Partial Evaluation 1996: 481-509
• 
  Olivier Danvy, Robert Glück, Peter Thiemann:
  Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers. Lecture Notes in Computer Science 1110, Springer 1996, ISBN 3-540-61580-6 [contents]