2018 share record
persistent URL:
Timothy Jones , Michael Homer : The Practice of a Compositional Functional Programming Language. APLAS 2018 : 166-177 share record
persistent URL:
Beniamino Accattoli , Giulio Guerrieri : Types of Fireballs. APLAS 2018 : 45-66 share record
persistent URL:
Youssef El Bakouny , Dani Mezher : Scallina: Translating Verified Programs from Coq to Scala. APLAS 2018 : 131-145 share record
persistent URL:
Pablo Barenbaum , Gonzalo Ciruelos : Factoring Derivation Spaces via Intersection Types. APLAS 2018 : 24-44 export record
dblp key:
conf/aplas/BrotherstonK18 share record
persistent URL:
James Brotherston , Max I. Kanovich : On the Complexity of Pointer Arithmetic in Separation Logic. APLAS 2018 : 329-349 share record
persistent URL:
Adrien Champion , Naoki Kobayashi , Ryosuke Sato : HoIce: An ICE-Based Non-linear Horn Clause Solver. APLAS 2018 : 146-156 share record
persistent URL:
Andreea Costea , Wei-Ngan Chin , Shengchao Qin , Florin Craciun : Automated Modular Verification for Relaxed Communication Protocols. APLAS 2018 : 284-305 share record
persistent URL:
Satoshi Egi , Yuichi Nishiwaki : Non-linear Pattern Matching with Backtracking for Non-free Data Types. APLAS 2018 : 3-23 share record
persistent URL:
Shingo Eguchi , Naoki Kobayashi , Takeshi Tsukada : Automated Synthesis of Functional Programs with Auxiliary Functions. APLAS 2018 : 223-241 export record
dblp key:
conf/aplas/HillerstromL18 share record
persistent URL:
Daniel Hillerström , Sam Lindley : Shallow Effect Handlers. APLAS 2018 : 415-435 share record
persistent URL:
Mingzhang Huang , Hongfei Fu , Krishnendu Chatterjee : New Approaches for Almost-Sure Termination of Probabilistic Programs. APLAS 2018 : 181-201 share record
persistent URL:
Hideyuki Kawabata , Yuta Tanaka , Mai Kimura , Tetsuo Hironaka : Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General. APLAS 2018 : 157-165 share record
persistent URL:
Fabian Kunze , Gert Smolka , Yannick Forster : Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine. APLAS 2018 : 264-283 share record
persistent URL:
Quang Loc Le , Mengda He : A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints. APLAS 2018 : 350-372 share record
persistent URL:
Xuan Bach Le , Aquinas Hobor , Anthony W. Lin : Complexity Analysis of Tree Share Structure. APLAS 2018 : 89-108 share record
persistent URL:
Depeng Liu , Bow-Yaw Wang , Lijun Zhang : Model Checking Differentially Private Properties. APLAS 2018 : 394-414 share record
persistent URL:
Ulrich Schöpp : Particle-Style Geometry of Interaction as a Module System. APLAS 2018 : 202-222 share record
persistent URL:
Taro Sekiyama , Kohei Suenaga : Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks. APLAS 2018 : 309-328 share record
persistent URL:
Li Sui , Jens Dietrich , Michael Emery , Shawn Rasheed , Amjed Tahir : On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation. APLAS 2018 : 69-88 share record
persistent URL:
Thibault Suzanne , Antoine Miné : Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models. APLAS 2018 : 109-128 share record
persistent URL:
Urara Yamada , Kenichi Asai : Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS. APLAS 2018 : 375-393 share record
persistent URL:
Junpeng Zha , Xinyu Feng , Lei Qiao : Modular Verification of SPARCv8 Code. APLAS 2018 : 245-263 share record
persistent URL:
Sukyoung Ryu : Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings. Lecture Notes in Computer Science 11275, Springer 2018 , ISBN 978-3-030-02767-4 [contents] 2017 share record
persistent URL:
Beniamino Accattoli , Bruno Barras : The Negligible and Yet Subtle Cost of Pattern Matching. APLAS 2017 : 426-447 share record
persistent URL:
Qinxiang Cao , Santiago Cuellar , Andrew W. Appel : Bringing Order to the Separation Logic Jungle. APLAS 2017 : 190-211 share record
persistent URL:
Aziem Chawdhary , Andy King : Compact Difference Bound Matrices. APLAS 2017 : 471-490 share record
persistent URL:
Manjeet Dahiya , Sorav Bansal : Black-Box Equivalence Checking Across Compiler Optimizations. APLAS 2017 : 127-147 share record
persistent URL:
Alejandro Díaz-Caro : A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls. APLAS 2017 : 448-467 share record
persistent URL:
Serdar Erbatur , Martin Hofmann , Eugen Zalinescu : Enforcing Programming Guidelines with Region Types and Effects. APLAS 2017 : 85-104 share record
persistent URL:
Neline van Ginkel , Raoul Strackx , Frank Piessens : Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications. APLAS 2017 : 105-123