Programming languages and systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, Proceedings / Hongseok Yang (ed.).
"This book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. The 22 revised full papers presented together with 4 invited talks and one system and tool presentations were carefully reviewe...
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Ebook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2011]
|
| Series: | Lecture notes in computer science ;
7078. LNCS sublibrary. Programming and software engineering |
| Subjects: | |
| Online Access: | Springer eBooks |
Table of Contents:
- Invited Talks:
- Program Analysis and Machine Learning: A Win-Win Deal / Aditya V. Nori, Sriram K. Rajamani
- Software Verification with Liquid Types / Ranjit Jhala
- Engineering Theories with Z3 / Nikolaj Bjørner
- Algebra, Logic, Locality, Concurrency / Peter W. O’Hearn
- Session 1: Program Analysis:
- Modular Abstractions of Reactive Nodes Using Disjunctive Invariants / David Monniaux, Martin Bodin
- Template-Based Unbounded Time Verification of Affine Hybrid Automata / Thao Dang, Thomas Martin Gawlitza
- Access-Based Localization with Bypassing / Hakjoo Oh, Kwangkeun Yi
- A Deductive Database with Datalog and SQL Query Languages / Fernando Sáenz-Pérez, Rafael Caballero, Yolanda García-Ruiz
- Session 2: Functional Programming:
- Constructing List Homomorphisms from Proofs / Yun-Yan Chi, Shin-Cheng Mu
- Extending Hindley-Milner Type Inference with Coercive Structural Subtyping / Dmitriy Traytel, Stefan Berghofer, Tobias Nipkow
- Polymorphic Multi-stage Language with Control Effects / Yuichiro Kokaji, Yukiyoshi Kameyama
- Session 3: Compiler:
- Compiler Backend Generation for Application Specific Instruction Set Processors / Zhen Cao, Yuan Dong, Shengyuan Wang
- A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs / Benoit Boissinot, Florian Brandner, Alain Darte, Benoît Dupont de Dinechin, Fabrice Rastello
- SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA / Yulei Sui, Sen Ye, Jingling Xue, Pen-Chung Yew
- Session 4: Concurrency 1:
- On the Strength of Owicki-Gries for Resources / Alexander Malkis, Laurent Mauborgne
- Solving Recursion-Free Horn Clauses over LI+UIF / Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
- Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism / Akimasa Morihata
- Decentralized Delimited Release / Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld
- Session 5: Concurrency 2:
- Cost Analysis of Concurrent OO Programs / Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla
- Static Object Race Detection / Ana Milanova, Wei Huang
- Soundness of Data Flow Analyses for Weak Memory Models / Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig
- Session 6: Semantics:
- Towards a General Theory of Barbs, Contexts and Labels / Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
- Computation-by-Interaction with Effects / Ulrich Schöpp
- Session 7: Certification and Logic:
- Towards a Certified Petri Net Model-Checker / Lukasz Fronc, Franck Pommereau
- Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy / Patrick Baillot
- A Proof Pearl with the Fan Theorem and Bar Induction / Keiko Nakata, Tarmo Uustalu, Marc Bezem
- A Semantics for Context-Sensitive Reduction Semantics / Casey Klein, Jay McCarthy, Steven Jaconette, Robert Bruce Findler.