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

• 2007
• 
  Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla:
  Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. PADL 2007: 124-139
• 
  Pedro Barahona, Ludwig Krippahl:
  A Constraint Programming Approach to Bioinformatics Structural Problems. PADL 2007: 33-49
• 
  Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser:
  Coupled Schema Transformation and Data Conversion for XML and SQL. PADL 2007: 290-304
• 
  Alan H. Bond:
  BAD, a Declarative Logic-Based Language for Brain Modeling. PADL 2007: 200-214
• 
  Vítor Santos Costa:
  Prolog Performance on Larger Datasets. PADL 2007: 185-199
• 
  Duncan Coutts, Don Stewart, Roman Leshchinskiy:
  Rewriting Haskell Strings. PADL 2007: 50-64
• 
  Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann:
  Automatic Incrementalization of Prolog Based Static Analyses. PADL 2007: 109-123
• 
  Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller:
  Algebraic Knowledge Discovery Using Haskell. PADL 2007: 80-93
• 
  Per Gustafsson, Konstantinos Sagonas:
  Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang. PADL 2007: 94-108
• 
  Liwen Huang, Paul Hudak, John Peterson:
  HPorter: Using Arrows to Compose Parallel Processes. PADL 2007: 275-289
• 
  John Hughes:
  QuickCheck Testing for Fun and Profit. PADL 2007: 1-32
• 
  Karl Klose, Klaus Ostermann, Michael Leuschel:
  Partial Evaluation of Pointcuts. PADL 2007: 320-334
• 
  Chuck C. Liang:
  Aspect-Oriented Programming in Higher-Order and Linear Logic. PADL 2007: 305-319
• 
  Chongbing Liu, Enrico Pontelli:
  Inductive Logic Programming by Instance Patterns. PADL 2007: 230-244
• 
  Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo:
  Combining Static Analysis and Profiling for Estimating Execution Times. PADL 2007: 140-154
• 
  Takeshi Morimoto, Yasunao Takano, Hideya Iwasaki:
  Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning. PADL 2007: 65-79
• 
  Andreas Podelski, Andrey Rybalchenko:
  ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement. PADL 2007: 245-259
• 
  Reza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace:
  From Zinc to Design Model. PADL 2007: 215-229
• 
  Ricardo Rocha:
  On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. PADL 2007: 155-169
• 
  Claudio V. Russo:
  The Joins Concurrency Library. PADL 2007: 260-274
• 
  Beata Sarna-Starosta, C. R. Ramakrishnan:
  Compiling Constraint Handling Rules for Efficient Tabled Evaluation. PADL 2007: 170-184
• 
  Michael Hanus:
  Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Lecture Notes in Computer Science 4354, Springer 2007, ISBN 978-3-540-69608-7 [contents]