- Dmitry Rozplokhas
, Andrey Vyatkin
, Dmitry Boulytchev
:
Certified Semantics for Relational Programming. APLAS 2020: 167-185 - Dominic Steinhöfel
:
REFINITY to Model and Prove Program Transformation Rules. APLAS 2020: 311-319 - Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu:
A Counterexample-Guided Debugger for Non-recursive Datalog. APLAS 2020: 323-342 - Tarmo Uustalu
, Niels F. W. Voorneveld
:
Algebraic and Coalgebraic Perspectives on Interaction Laws. APLAS 2020: 186-205 - Bruno C. d. S. Oliveira
:
Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings. Lecture Notes in Computer Science 12470, Springer 2020, ISBN 978-3-030-64436-9 [contents] - 2019
- Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
:
Factorization and Normalization, Essentially. APLAS 2019: 159-180 - Nada Amin, William E. Byrd, Tiark Rompf:
Lightweight Functional Logic Meta-Programming. APLAS 2019: 225-243 - Yu-Fang Chen, Chang-Yi Chiang, Lukás Holík
, Wei-Tsung Kao, Hsin-Hung Lin, Tomás Vojnar, Yean-Fu Wen, Wei-Cheng Wu:
J-ReCoVer: Java Reducer Commutativity Verifier. APLAS 2019: 357-366 - Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál
:
Simulations in Rank-Based Büchi Automata Complementation. APLAS 2019: 447-467 - Raimil Cruz, Éric Tanter:
Existential Types for Relaxed Noninterference. APLAS 2019: 73-92 - Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster:
TxForest: A DSL for Concurrent Filestores. APLAS 2019: 332-354 - Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo
, Maurice Herlihy:
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects. APLAS 2019: 313-331 - Graeme Gange, Jorge A. Navas, Peter Schachte
, Harald Søndergaard
, Peter J. Stuckey:
Dissecting Widening: Separating Termination from Information. APLAS 2019: 95-114 - Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan:
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps. APLAS 2019: 291-312 - Aquinas Hobor, Elaine Li, Frank Stephan
:
Pumping, with or Without Choice. APLAS 2019: 427-446 - Hossein Hojjat, Philipp Rümmer, Ali Shamakhi
:
On Strings in Software Model Checking. APLAS 2019: 19-30 - Lukás Holík
, Ondrej Lengál
, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
Succinct Determinisation of Counting Automata via Sphere Construction. APLAS 2019: 468-489 - Youkichi Hosoi, Naoki Kobayashi, Takeshi Tsukada:
A Type-Based HFL Model Checking Algorithm. APLAS 2019: 136-155 - Akira Kawata, Atsushi Igarashi
:
A Dependently Typed Multi-stage Calculus. APLAS 2019: 53-72 - Daan Leijen, Benjamin Zorn, Leonardo de Moura:
Mimalloc: Free List Sharding in Action. APLAS 2019: 244-265 - Annabelle McIver
, Carroll Morgan:
Proving that Programs Are Differentially Private. APLAS 2019: 3-18 - Masayuki Mizuno, Eijiro Sumii:
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion. APLAS 2019: 181-201 - Kosuke Murata, Kento Emoto:
Recursion Schemes in Coq. APLAS 2019: 202-221 - Tukaram Muske, Rohith Talluri, Alexander Serebrenik
:
Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies. APLAS 2019: 115-135 - Yutaka Nagashima
:
LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL. APLAS 2019: 266-287 - Yuki Nishida
, Atsushi Igarashi
:
Manifest Contracts with Intersection Types. APLAS 2019: 33-52 - Long H. Pham, Jun Sun, Quang Loc Le:
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. APLAS 2019: 405-424 - Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura:
Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions. APLAS 2019: 367-387 - Wenbo Zhang
, Huan Long
, Xian Xu
:
Uniform Random Process Model Revisited. APLAS 2019: 388-404 - Anthony Widjaja Lin
:
Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings. Lecture Notes in Computer Science 11893, Springer 2019, ISBN 978-3-030-34174-9 [contents]