- Ulrich Schöpp:
From Call-by-Value to Interaction by Typed Closure Conversion. APLAS 2015: 251-270 - Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi:
Shifting the Blame - A Blame Calculus with Delimited Control. APLAS 2015: 189-207 - Marco Servetto, Elena Zucca:
Aliasing Control in an Imperative Pure Calculus. APLAS 2015: 208-228 - Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer:
More Sound Static Handling of Java Reflection. APLAS 2015: 485-503 - Haiyang Sun, Yudi Zheng, Lubomír Bulej, Stephen Kell, Walter Binder:
Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. APLAS 2015: 356-365 - Makoto Tatsuta, Daisuke Kimura:
Separation Logic with Monadic Inductive Definitions and Implicit Existentials. APLAS 2015: 69-89 - Tomás Tauber, Xuan Bi, Zhiyuan Shi, Weixin Zhang, Huang Li, Zhenrui Zhang, Bruno C. d. S. Oliveira:
Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects. APLAS 2015: 11-28 - Chao Wang, Yi Lv, Gaoang Liu, Peng Wu:
Quasi-Linearizability is Undecidable. APLAS 2015: 369-386 - Xiao Xiao, Shi Han, Charles Zhang, Dongmei Zhang:
Uncovering JavaScript Performance Code Smells Relevant to Type Mutations. APLAS 2015: 335-355 - Eran Yahav:
Programming with "Big Code". APLAS 2015: 3-8 - Xinyu Feng, Sungwoo Park:
Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Lecture Notes in Computer Science 9458, Springer 2015, ISBN 978-3-319-26528-5 [contents] - 2014
- Andreas Abel, Andrea Vezzosi:
A Formalized Proof of Strong Normalization for Guarded Recursive Types. APLAS 2014: 140-158 - Afshin Amighi, Stefan Blom, Marieke Huisman:
Resource Protection Using Atomics - Patterns and Verification. APLAS 2014: 255-274 - Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller:
Logic Programming and Logarithmic Space. APLAS 2014: 39-57 - Paolo Baldan, Silvia Crafa:
Hereditary History-Preserving Bisimilarity: Logics and Automata. APLAS 2014: 469-488 - Frédéric Besson, Sandrine Blazy, Pierre Wilke:
A Precise and Abstract Memory Model for C Using Symbolic Values. APLAS 2014: 449-468 - Aziem Chawdhary, Edward Robbins, Andy King:
Simple and Efficient Algorithms for Octagons. APLAS 2014: 296-313 - Robert Dockins, Andrew Tolmach:
Suppl: A Flexible Language for Policies. APLAS 2014: 176-195 - Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar:
Compositional Entailment Checking for a Fragment of Separation Logic. APLAS 2014: 314-333 - Antonio Flores-Montoya, Reiner Hähnle:
Resource Analysis of Complex Programs with Cost Equations. APLAS 2014: 275-295 - Kentaro Kikuchi, Takafumi Sakurai:
A Translation of Intersection and Union Types for the λμ-Calculus. APLAS 2014: 120-139 - Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung Ryu:
Inferring Grammatical Summaries of String Values. APLAS 2014: 372-391 - Cynthia Kop, Naoki Nishida:
Automatic Constrained Rewriting Induction towards Verifying Procedural Programs. APLAS 2014: 334-353 - Dexter Kozen:
NetKAT - A Formal System for the Verification of Networks. APLAS 2014: 1-18 - Edmund Soon Lee Lam, Iliano Cervesato:
Optimized Compilation of Multiset Rewriting with Comprehensions. APLAS 2014: 19-38 - Shin-Cheng Mu, Ting-Wei Chen:
Functional Pearl: Nearest Shelters in Manhattan. APLAS 2014: 159-175 - Zachary Palmer, Pottayil Harisanker Menon, Alexander Rozenshteyn, Scott F. Smith:
Types for Flexible Objects. APLAS 2014: 99-119 - Shigeyuki Sato, Akimasa Morihata:
Syntax-Directed Divide-and-Conquer Data-Flow Analysis. APLAS 2014: 392-407 - Ulrich Schöpp:
Call-by-Value in a Basic Logic for Interaction. APLAS 2014: 428-448 - Mohamed Nassim Seghir, Peter Schrammel:
Necessary and Sufficient Preconditions via Eager Abstraction. APLAS 2014: 236-254