- Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo:
Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells. APLAS 2016: 271-291 - Azalea Raad, Aquinas Hobor, Jules Villard
, Philippa Gardner:
Verifying Concurrent Graph Algorithms. APLAS 2016: 314-334 - Azalea Raad, José Fragoso Santos
, Philippa Gardner:
DOM: Specification and Client Reasoning. APLAS 2016: 401-422 - Gabriel Radanne, Jérôme Vouillon, Vincent Balat:
Eliom: A Core ML Language for Tierless Web Programming. APLAS 2016: 377-397 - Andrea Rosà, Lydia Y. Chen, Walter Binder
:
AkkaProf: A Profiler for Akka Actors in Parallel and Distributed Applications. APLAS 2016: 139-147 - Kai Stadtmüller, Martin Sulzmann, Peter Thiemann:
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. APLAS 2016: 116-136 - Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan:
AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code. APLAS 2016: 42-62 - Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin:
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic. APLAS 2016: 423-443 - Taku Terao, Takeshi Tsukada, Naoki Kobayashi
:
Higher-Order Model Checking in Direct Style. APLAS 2016: 295-313 - Alwen Tiu, Nam Nguyen, Ross Horne
:
SPEC: An Equivalence Checker for Security Protocols. APLAS 2016: 87-95 - Taichi Yachi, Eijiro Sumii:
A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc. APLAS 2016: 171-186 - Yanpeng Yang, Xuan Bi, Bruno C. d. S. Oliveira:
Unified Syntax with Iso-types. APLAS 2016: 251-270 - Kazuhide Yasukata, Takeshi Tsukada, Naoki Kobayashi
:
Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation. APLAS 2016: 335-353 - Atsushi Igarashi:
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings. Lecture Notes in Computer Science 10017, 2016, ISBN 978-3-319-47957-6 [contents] - 2015
- Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza:
A Strong Distillery. APLAS 2015: 231-250 - Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey:
Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics. APLAS 2015: 127-145 - Deepthi Devaki Akkoorath, Annette Bieniusa:
Transactions on Mergeable Objects. APLAS 2015: 427-444 - Holger Bock Axelsen, Tetsuo Yokoyama:
Programming Techniques for Reversible Comparison Sorts. APLAS 2015: 407-426 - Tomasz Dudziak:
Randomized Resource-Aware Path-Sensitive Static Analysis. APLAS 2015: 111-126 - Yu Feng, Xinyu Wang
, Isil Dillig, Thomas Dillig:
Bottom-Up Context-Sensitive Pointer Analysis for Java. APLAS 2015: 465-484 - Emmanuel Hainry
, Romain Péchoux
:
Objects in Polynomial Time. APLAS 2015: 387-404 - Hiroaki Inoue, Atsushi Igarashi:
A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers. APLAS 2015: 445-462 - Guilhem Jaber, Nicolas Tabareau:
Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques. APLAS 2015: 271-291 - Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi
:
Decision Algorithms for Checking Definability of Order-2 Finitary PCF. APLAS 2015: 313-331 - Adriaan Larmuseau, Marco Patrignani
, Dave Clarke:
A Secure Compiler for ML Modules. APLAS 2015: 29-48 - Jiangchao Liu, Xavier Rival:
Abstraction of Optional Numerical Values. APLAS 2015: 146-166 - Christoph Matheja
, Christina Jansen, Thomas Noll
:
Tree-Like Grammars and Separation Logic. APLAS 2015: 90-108 - Yuma Matsumoto, Naoki Kobayashi
, Hiroshi Unno
:
Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs. APLAS 2015: 295-312 - Gian Ntzik
, Pedro da Rocha Pinto
, Philippa Gardner:
Fault-Tolerant Resource Reasoning. APLAS 2015: 169-188 - Rekha R. Pai
:
Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA. APLAS 2015: 49-65