• 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 29 matches

• 1988
• 
  Alexander Aiken, Alexandru Nicolau:
  Perfect Pipelining: A New Loop Parallelization Technique. ESOP 1988: 221-235
• 
  Rolf Bahlke, Gregor Snelting:
  The PSG System: From Formal Language Definitions to Interactive Programming Environments. ESOP 1988: 374-375
• 
  Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, François Wautier:
  LPG: A Generic, Logic and Functional Programming Language. ESOP 1988: 376-377
• 
  Hubert Bertling, Harald Ganzinger, Renate Schäfers:
  CEC: A System for the Completion of Conditional Equational Specifications. ESOP 1988: 378-379
• 
  Manfred Bretz, Jürgen Ebert:
  An Exception Handling Construct for Functional Languages. ESOP 1988: 160-174
• 
  Charles Consel:
  New Insights into Partial Evaluation: the SCHISM Experiment. ESOP 1988: 236-246
• 
  N. W. P. van Diepen:
  Implementation of Modular Algebraic Specifications. ESOP 1988: 64-78
• 
  Roland Dietrich, Frank Hagl:
  A Polymorphic Type System with Subtypes for Prolog. ESOP 1988: 79-93
• 
  You-Chin Fuh, Prateek Mishra:
  Type Inference with Subtypes. ESOP 1988: 94-114
• 
  Marie-Claude Gaudel, Th. Moineau:
  A Theory of Software Reusability. ESOP 1988: 115-130
• 
  Robert Giegerich, Karl Schmal:
  Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of Derivors. ESOP 1988: 247-268
• 
  Graham Gough, Howard Barringer:
  A Semantics Driven Temporal Verification System. ESOP 1988: 21-33
• 
  Reinhold Heckmann:
  A Functional Language for the Specification of Complex Tree Transformations. ESOP 1988: 175-190
• 
  Reinhold Heckmann:
  A Functional Language for the Specification of Complex Tree Transformations (System Exhibition). ESOP 1988: 380
• 
  Susan Horwitz:
  Adding Relational Query Facilities to Software Development Environments. ESOP 1988: 269-283
• 
  Dean Jacobs, Anno Langen:
  Compilation of Logic Programs for Restricted And-Parallelism. ESOP 1988: 284-297
• 
  Stefan Kaes:
  Parametric Overloading in Polymorphic Programming Languages. ESOP 1988: 131-144
• 
  Simon M. Kaplan, Gail E. Kaiser:
  Garp: Graph Abstractions for Concurrent Programming. ESOP 1988: 191-205
• 
  Bernd Krieg-Brückner:
  Algebraic Formalisation of Program Development by Transformation. ESOP 1988: 34-48
• 
  Alain Laville:
  Implementation of Lazy Pattern Matching Algorithms. ESOP 1988: 298-316
• 
  Remi Legrand:
  Extending Functional Programming Towards Relations. ESOP 1988: 206-220
• 
  Alberto Martelli, Gianfranco Rossi:
  Enhancing Prolog to Support Prolog Programming Environments. ESOP 1988: 317-327
• 
  Flemming Nielson, Hanne Riis Nielson:
  2-level lambda-lifting. ESOP 1988: 328-343
• 
  Michel Parigot:
  Programming with Proofs: A Second Order Type Theory. ESOP 1988: 145-159
• 
  Thomas W. Reps, Susan Horwitz:
  Semantics-Based Program Integration. ESOP 1988: 1-20
• 
  Yukihide Takayama:
  QPC: QJ-based Proof Compiler - Simple Examples and Analysis. ESOP 1988: 49-63
• 
  Philip Wadler:
  Deforestation: Transforming Programs to Eliminate Trees. ESOP 1988: 344-358
• 
  Patrick Weemeeuw, Maurice Bruynooghe, Marleen De Haondt:
  On Implementing Logic Programming Languages on a Dataflow Architecture. ESOP 1988: 359-372
• 
  Harald Ganzinger:
  ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings. Lecture Notes in Computer Science 300, Springer 1988, ISBN 3-540-19027-9 [contents]