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

• 2015
• 
  Marcello Balduccini, Sarah Kushner, Jacquelin Speck:
  Ontology-Driven Data Semantics Discovery for Cyber-Security. PADL 2015: 1-16
• 
  Reza Basseda, Michael Kifer:
  State Space Planning Using Transaction Logic. PADL 2015: 17-33
• 
  Flávio Cruz, Ricardo Rocha:
  On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. PADL 2015: 34-49
• 
  Sergii Dymchenko, Mariia Mykhailova:
  Declaratively Solving Google Code Jam Problems with Picat. PADL 2015: 50-57
• 
  Simon Fowler, Loïc Denuzière, Adam Granicz:
  Reactive Single-Page Applications with Dynamic Dataflow. PADL 2015: 58-73
• 
  Michael Hanus:
  CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry. PADL 2015: 74-89
• 
  Dimitar Sht. Shterionov, Gerda Janssens:
  Implementation and Performance of Probabilistic Inference Pipelines. PADL 2015: 90-104
• 
  Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño:
  A Haskell Implementation of a Rule-Based Program Transformation for C Programs. PADL 2015: 105-114
• 
  Paul Tarau:
  On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization. PADL 2015: 115-131
• 
  Benoît Vaugon, Philippe Wang, Emmanuel Chailloux:
  Programming Microcontrollers in OCaml: The OCaPIC Project. PADL 2015: 132-148
• 
  Enrico Pontelli, Tran Cao Son:
  Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings. Lecture Notes in Computer Science 9131, Springer 2015, ISBN 978-3-319-19685-5 [contents]