• 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

• 2017
• 
  Beniamino Accattoli, Bruno Barras:
  The Negligible and Yet Subtle Cost of Pattern Matching. APLAS 2017: 426-447
• 
  Qinxiang Cao, Santiago Cuéllar, Andrew W. Appel:
  Bringing Order to the Separation Logic Jungle. APLAS 2017: 190-211
• 
  Aziem Chawdhary, Andy King:
  Compact Difference Bound Matrices. APLAS 2017: 471-490
• 
  Manjeet Dahiya, Sorav Bansal:
  Black-Box Equivalence Checking Across Compiler Optimizations. APLAS 2017: 127-147
• 
  Alejandro Díaz-Caro:
  A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls. APLAS 2017: 448-467
• 
  Serdar Erbatur, Martin Hofmann, Eugen Zalinescu:
  Enforcing Programming Guidelines with Region Types and Effects. APLAS 2017: 85-104
• 
  Neline van Ginkel, Raoul Strackx, Frank Piessens:
  Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications. APLAS 2017: 105-123
• 
  Sumit Gulwani, Prateek Jain:
  Programming by Examples: PL Meets ML. APLAS 2017: 3-20
• 
  Ian J. Hayes, Xi Wu, Larissa A. Meinicke:
  Capabilities for Java: Secure Access to Resources. APLAS 2017: 67-84
• 
  Shaobo He, Zvonimir Rakamaric:
  Counterexample-Guided Bit-Precision Selection. APLAS 2017: 534-553
• 
  Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao:
  Safety and Liveness of MCS Lock - Layer by Layer. APLAS 2017: 273-297
• 
  Daisuke Kimura, Makoto Tatsuta:
  Decision Procedure for Entailment of Symbolic Heaps with Arrays. APLAS 2017: 169-189
• 
  Oleg Kiselyov, Tatsuya Katsushima:
  Sound and Efficient Language-Integrated Query - Maintaining the ORDER. APLAS 2017: 364-383
• 
  Yoonseok Ko, Xavier Rival, Sukyoung Ryu:
  Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects. APLAS 2017: 148-168
• 
  Daan Leijen:
  Implementing Algebraic Effects in C - "Monads for Free in C". APLAS 2017: 339-363
• 
  Ximeng Li, Heiko Mantel, Markus Tasch:
  Taming Message-Passing Communication in Compositional Reasoning About Confidentiality. APLAS 2017: 45-66
• 
  Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan:
  Programming and Proving with Classical Types. APLAS 2017: 215-234
• 
  Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi:
  A Nonstandard Functional Programming Language. APLAS 2017: 514-533
• 
  Tobias Nipkow:
  Verified Root-Balanced Trees. APLAS 2017: 255-272
• 
  Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo:
  Sharper and Simpler Nonlinear Interpolants for Program Verification. APLAS 2017: 491-513
• 
  Adrien Pommellet, Tayssir Touili:
  Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous. APLAS 2017: 235-254
• 
  Bob Reynders, Dominique Devriese:
  Efficient Functional Reactive Programming Through Incremental Behaviors. APLAS 2017: 321-338
• 
  Martin Sulzmann, Peter Thiemann:
  A Computational Interpretation of Context-Free Expressions. APLAS 2017: 387-405
• 
  Tarmo Uustalu, Niccolò Veltri:
  Partiality and Container Monads. APLAS 2017: 406-425
• 
  Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan:
  Synthesizing SystemC Code from Delay Hybrid CSP. APLAS 2017: 21-41
• 
  Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu:
  Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. APLAS 2017: 301-320
• 
  Bor-Yuh Evan Chang:
  Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings. Lecture Notes in Computer Science 10695, Springer 2017, ISBN 978-3-319-71236-9 [contents]