- 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] - 2016
- Tatsuya Abe
, Toshiyuki Maeda:
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models. APLAS 2016: 63-84 - Beniamino Accattoli, Giulio Guerrieri
:
Open Call-by-Value. APLAS 2016: 206-226 - Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki
:
A Debugger-Cooperative Higher-Order Contract System in Python. APLAS 2016: 148-168 - Sooyoung Cha, Sehun Jeong, Hakjoo Oh:
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. APLAS 2016: 25-41 - Henry DeYoung, Frank Pfenning:
Substructural Proofs as Automata. APLAS 2016: 3-22 - Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori
, Claude Stolze:
A Realizability Interpretation for Intersection and Union Types. APLAS 2016: 187-205 - Furio Honsell, Marina Lenisa, Luigi Liquori
, Ivan Scagnetto:
Implementing Cantor's Paradise. APLAS 2016: 229-250 - Zhe Hou
, Alwen Tiu:
Completeness for a First-Order Abstract Separation Logic. APLAS 2016: 444-463 - Hans Hüttel
:
Binary Session Types for Psi-Calculi. APLAS 2016: 96-115 - Oleg Kiselyov:
Probabilistic Programming Language and its Incremental Evaluation. APLAS 2016: 357-376