• 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

• 1998
• 
  Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli:
  Synthesis of Programs in Abstract Data Types. LOPSTR 1998: 81-100
• 
  Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili:
  Mathematical Foundations for Program Transformations. LOPSTR 1998: 319-321
• 
  Jeffrey Van Baalen, Steve Roach:
  Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. LOPSTR 1998: 61-70
• 
  Dante Baldan, Baudouin Le Charlier, Christophe Leclère, Isabelle Pollet:
  A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury. LOPSTR 1998: 21-40
• 
  Patrick Bellot, Bernard J. Robinet:
  Logical Synthesis of Imperative O. O. Programs. LOPSTR 1998: 316-318
• 
  Annalisa Bossi, Nicoletta Cocco:
  Success in Logic Programs. LOPSTR 1998: 219-239
• 
  Annalisa Bossi, Sabina Rossi:
  Specialising Logic Programs with Respect to Call?Post Specifications. LOPSTR 1998: 159-178
• 
  Antonio Brogi, Simone Contiero, Franco Turini:
  The Use of Renaming in Composing General Programs. LOPSTR 1998: 124-142
• 
  Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter:
  Attempto Controlled English - Not Just Another Logic Specification Language. LOPSTR 1998: 1-20
• 
  Tihomir Gabric, Kevin Glynn, Harald Søndergaard:
  Strictness Analysis as Finite-Domain Constraint Solving. LOPSTR 1998: 255-270
• 
  Robert Glück, John Hatcliff, Jesper Jørgensen:
  Generalization in Hierarchies of Online Program Specialization Systems. LOPSTR 1998: 179-198
• 
  Andreas Hamfelt, Jørgen Fischer Nilsson:
  Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes. LOPSTR 1998: 143-158
• 
  Sébastien Hoarau, Frédéric Mesnard:
  Inferring and Compiling Termination for Constraint Logic Programs. LOPSTR 1998: 240-254
• 
  Kung-Kiu Lau, Mario Ornaghi:
  OOD Frameworks in Component-Based Software - Development in Computational Logic. LOPSTR 1998: 101-123
• 
  Michael Leuschel:
  Improving Homeomorphic Embedding for Online Termination. LOPSTR 1998: 199-218
• 
  Sarah Mallet, Mireille Ducassé:
  Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. LOPSTR 1998: 328-330
• 
  Julian Richardson:
  Abstract: Proof Planning with Program Schemas. LOPSTR 1998: 313-315
• 
  David Stuart Robertson, Jaume Agustí-Cullell:
  Pragmatics in the Synthesis of Logic Programs. LOPSTR 1998: 41-60
• 
  David A. Rosenblueth:
  An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs. LOPSTR 1998: 322-324
• 
  Jan-Georg Smaus, Patricia M. Hill, Andy King:
  Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. LOPSTR 1998: 289-307
• 
  Jamie Stark, Andrew Ireland:
  Invariant Discovery via Failed Proof Attempts. LOPSTR 1998: 271-288
• 
  Wim Vanhoof, Danny De Schreye, Bern Martens:
  Bottom-Up Specialisation of Logic Programs. LOPSTR 1998: 325-327
• 
  Pierre Wolper:
  Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract). LOPSTR 1998: 308
• 
  Hamza Zidoum, Pierre Flener, Brahim Hnich:
  Schema-Guided Synthesis of CLP Programs. LOPSTR 1998: 309-312
• 1990
• 
  Pierre Flener:
  Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings. Lecture Notes in Computer Science 1559, Springer 1990, ISBN 3-540-65765-7 [contents]