default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAPLAS 2014: Singapore
- Jacques Garrigue:
Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings. Lecture Notes in Computer Science 8858, Springer 2014, ISBN 978-3-319-12735-4
Invited Presentation
- Dexter Kozen:
NetKAT - A Formal System for the Verification of Networks. 1-18
Regular Papers
- Edmund Soon Lee Lam, Iliano Cervesato:
Optimized Compilation of Multiset Rewriting with Comprehensions. 19-38 - Clément Aubert
, Marc Bagnol, Paolo Pistone, Thomas Seiller:
Logic Programming and Logarithmic Space. 39-57 - Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi:
Automatic Memory Management Based on Program Transformation Using Ownership. 58-77 - Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori:
The Essence of Ruby. 78-98 - Zachary Palmer, Pottayil Harisanker Menon, Alexander Rozenshteyn, Scott F. Smith:
Types for Flexible Objects. 99-119 - Kentaro Kikuchi, Takafumi Sakurai:
A Translation of Intersection and Union Types for the λμ-Calculus. 120-139 - Andreas Abel, Andrea Vezzosi:
A Formalized Proof of Strong Normalization for Guarded Recursive Types. 140-158 - Shin-Cheng Mu, Ting-Wei Chen:
Functional Pearl: Nearest Shelters in Manhattan. 159-175 - Robert Dockins, Andrew Tolmach:
Suppl: A Flexible Language for Policies. 176-195 - Manuel Valdiviezo, Cristina Cifuentes, Padmanabhan Krishnan:
A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking. 196-215 - Fu Song, Tayssir Touili:
Model-Checking for Android Malware Detection. 216-235 - Mohamed Nassim Seghir, Peter Schrammel:
Necessary and Sufficient Preconditions via Eager Abstraction. 236-254 - Afshin Amighi, Stefan Blom, Marieke Huisman:
Resource Protection Using Atomics - Patterns and Verification. 255-274 - Antonio Flores-Montoya, Reiner Hähnle:
Resource Analysis of Complex Programs with Cost Equations. 275-295 - Aziem Chawdhary, Edward Robbins, Andy King:
Simple and Efficient Algorithms for Octagons. 296-313 - Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar:
Compositional Entailment Checking for a Fragment of Separation Logic. 314-333 - Cynthia Kop, Naoki Nishida:
Automatic Constrained Rewriting Induction towards Verifying Procedural Programs. 334-353 - Taku Terao, Naoki Kobayashi:
A ZDD-Based Efficient Higher-Order Model Checking Algorithm. 354-371 - Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung Ryu:
Inferring Grammatical Summaries of String Values. 372-391 - Shigeyuki Sato, Akimasa Morihata:
Syntax-Directed Divide-and-Conquer Data-Flow Analysis. 392-407 - Xiaohua Shi, Junru Xie, Hengyang Yu:
Address Chain: Profiling Java Objects without Overhead in Java Heaps. 408-427 - Ulrich Schöpp:
Call-by-Value in a Basic Logic for Interaction. 428-448 - Frédéric Besson, Sandrine Blazy, Pierre Wilke:
A Precise and Abstract Memory Model for C Using Symbolic Values. 449-468 - Paolo Baldan, Silvia Crafa:
Hereditary History-Preserving Bisimilarity: Logics and Automata. 469-488
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 2025-11-08 21:56 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:
