default search action
14th APLAS 2016: Hanoi, Vietnam
- 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
Invited Presentations
- Henry DeYoung, Frank Pfenning:
Substructural Proofs as Automata. 3-22
Verification and Analysis I
- Sooyoung Cha, Sehun Jeong, Hakjoo Oh:
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. 25-41 - Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan:
AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code. 42-62 - Tatsuya Abe
, Toshiyuki Maeda:
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models. 63-84
Process Calculus
- Alwen Tiu, Nam Nguyen, Ross Horne
SPEC: An Equivalence Checker for Security Protocols. 87-95 - Hans Hüttel
Binary Session Types for Psi-Calculi. 96-115 - Kai Stadtmüller, Martin Sulzmann, Peter Thiemann:
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. 116-136
Profiling and Debugging
- Andrea Rosà
AkkaProf: A Profiler for Akka Actors in Parallel and Distributed Applications. 139-147 - Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki
A Debugger-Cooperative Higher-Order Contract System in Python. 148-168
lambda-Calculus
- Taichi Yachi, Eijiro Sumii:
A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc. 171-186 - Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori
A Realizability Interpretation for Intersection and Union Types. 187-205 - Beniamino Accattoli, Giulio Guerrieri
Open Call-by-Value. 206-226
Type Theory
- Furio Honsell, Marina Lenisa, Luigi Liquori
Implementing Cantor's Paradise. 229-250 - Yanpeng Yang, Xuan Bi, Bruno C. d. S. Oliveira:
Unified Syntax with Iso-types. 251-270 - Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo:
Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells. 271-291
Verification and Analysis II
- Taku Terao, Takeshi Tsukada, Naoki Kobayashi
Higher-Order Model Checking in Direct Style. 295-313 - Azalea Raad, Aquinas Hobor, Jules Villard
Verifying Concurrent Graph Algorithms. 314-334 - Kazuhide Yasukata, Takeshi Tsukada, Naoki Kobayashi
Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation. 335-353
Programming Paradigms
- Oleg Kiselyov:
Probabilistic Programming Language and its Incremental Evaluation. 357-376 - Gabriel Radanne, Jérôme Vouillon, Vincent Balat:
Eliom: A Core ML Language for Tierless Web Programming. 377-397
Separation Logic
- Azalea Raad, José Fragoso Santos
DOM: Specification and Client Reasoning. 401-422 - Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin:
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic. 423-443 - Zhe Hou
Completeness for a First-Order Abstract Separation Logic. 444-463
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: