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

• 2013
• 
  Nick Benton:
  The Proof Assistant as an Integrated Development Environment. APLAS 2013: 307-314
• 
  Dariusz Biernacki, Sergueï Lenglet:
  Environmental Bisimulations for Delimited-Control Operators. APLAS 2013: 333-348
• 
  Valentin Blot, Colin Riba:
  On Bar Recursion and Choice in a Classical Setting. APLAS 2013: 349-364
• 
  Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva:
  Brzozowski's and Up-To Algorithms for Must Testing. APLAS 2013: 1-16
• 
  Niklas Broberg, Bart van Delft, David Sands:
  Paragon for Practical Programming with Information-Flow Control. APLAS 2013: 217-232
• 
  Cristina Cifuentes, Nathan Keynes:
  Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk). APLAS 2013: 172-175
• 
  Uli Fahrenberg, Axel Legay:
  Generalized Quantitative Analysis of Metric Transition Systems. APLAS 2013: 192-208
• 
  Koichi Fujima, Sohei Ito, Naoki Kobayashi:
  Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes. APLAS 2013: 17-32
• 
  Jacques Garrigue, Didier Rémy:
  Ambivalent Types for Principal Type Inference with GADTs. APLAS 2013: 257-272
• 
  Eric Goubault, Sylvie Putot:
  Robustness Analysis of Finite Precision Implementations. APLAS 2013: 50-57
• 
  Fritz Henglein, Ralf Hinze:
  Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries. APLAS 2013: 315-332
• 
  Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.:
  Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance. APLAS 2013: 156-171
• 
  Kensuke Kojima, Atsushi Igarashi:
  A Hoare Logic for SIMT Programs. APLAS 2013: 58-73
• 
  Julian Kranz, Alexander Sepp, Axel Simon:
  GDSL: A Universal Toolkit for Giving Semantics to Machine Language. APLAS 2013: 209-216
• 
  Giovanny Lucero, David A. Naumann, Augusto Sampaio:
  Laws of Programming for References. APLAS 2013: 124-139
• 
  Hyunik Na, Sukyoung Ryu:
  ThisJava: An Extension of Java with Exact Types. APLAS 2013: 233-240
• 
  Marco Patrignani, Dave Clarke, Frank Piessens:
  Secure Compilation of Object-Oriented Components to Protected Module Architectures. APLAS 2013: 176-191
• 
  Juan Antonio Navarro Pérez, Andrey Rybalchenko:
  Separation Logic Modulo Theories. APLAS 2013: 90-106
• 
  Alessandra Di Pierro, Herbert Wiklicky:
  Semantics of Probabilistic Programs: A Weak Limit Approach. APLAS 2013: 241-256
• 
  Matthias Puech:
  Proofs, Upside Down - A Functional Correspondence between Natural Deduction and the Sequent Calculus. APLAS 2013: 365-380
• 
  Holger Siegel, Bogdan Mihaila, Axel Simon:
  The Undefined Domain: Precise Relational Information for Entities That Do Not Exist. APLAS 2013: 74-89
• 
  Fu Song, Tayssir Touili:
  Model Checking Dynamic Pushdown Networks. APLAS 2013: 33-49
• 
  Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin:
  Bi-Abduction with Pure Properties for Specification Inference. APLAS 2013: 107-123
• 
  Janina Voigt, Alan Mycroft:
  Dynamic Alias Protection with Aliasing Contracts. APLAS 2013: 140-155
• 
  Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang, Chung-Cheng Li:
  Temporal Specification Mining for Anomaly Analysis. APLAS 2013: 273-289
• 
  Haiyan Zhu, Thomas Dillig, Isil Dillig:
  Automated Inference of Library Specifications for Source-Sink Property Verification. APLAS 2013: 290-306
• 
  Chung-chieh Shan:
  Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Lecture Notes in Computer Science 8301, Springer 2013, ISBN 978-3-319-03541-3 [contents]