Limit search to available items
Book Cover
E-book
Author APLAS (Symposium) (10th : 2012 : Kyoto, Japan)

Title Programming languages and systems : 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, proceedings / Ranjit Jhala, Atsushi Igarashi (eds.)
Published Heidelberg ; New York : Springer, ©2012

Copies

Description 1 online resource (xi, 388 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 7705
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 7705.
LNCS sublibrary. SL 2, Programming and software engineering.
Contents Session I: Invited Talk -- Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection / Jan Vitek -- Session II: Concurrency -- JATO: Native Code Atomicity for Java / Siliang Li, Yu David Liu, Gang Tan -- Ownership Types for Object Synchronisation / Yi Lu, John Potter, Jingling Xue -- Session III: Security -- A Functional View of Imperative Information Flow / Thomas H. Austin, Cormac Flanagan, Martín Abadi -- End-to-end Multilevel Hybrid Information Flow Control / Lennart Beringer -- Succour to the Confused Deputy / Radha Jagadeesan, Corin Pitcher, James Riely -- Types and Access Controls for Cross-Domain Security in Flash / Aseem Rastogi, Avik Chaudhuri, Rob Johnson -- Session IV: Static Analysis I -- Linear Approximation of Continuous Systems with Trapezoid Step Functions / Giulia Costantini, Pietro Ferrara, Agostino Cortesi
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code / Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey -- Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks / Pascal Sotin, Xavier Rival -- Vinter: A Vampire-Based Tool for Interpolation / Kryštof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov -- Session V: Static Analysis II -- Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis / Kalmer Apinis, Helmut Seidl, Vesal Vojdani -- Inference of Necessary Field Conditions with Abstract Interpretation / Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich -- Session VI: Language Design -- Lazy v. Yield: Incremental, Linear Pretty-Printing / Oleg Kiselyov, Simon Peyton-Jones, Amr Sabry -- Dynamic Software Update for Message Passing Programs / Gabrielle Anderson, Julian Rathke
A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming / Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti -- Session VII: Dynamic Analysis -- Concurrent Test Generation Using Concolic Multi-trace Analysis / Niloofar Razavi, Franjo Ivančić, Vineet Kahlon, Aarti Gupta -- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis / Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tůma -- Session VIII: Complexity and Semantics -- Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints / Aloïs Brunel, Antoine Madet
A New Order-Theoretic Characterisation of the Polytime Computable Functions / Martin Avanzini, Naohi Eguchi, Georg Moser -- Session VIII: Complexity and Semantics -- A Dynamic Interpretation of the CPS Hierarchy / Marek Materzok, Dariusz Biernacki -- Session IX: Invited Talk -- Scalable Formal Machine Models / Greg Morrisett -- Session X: Program Logics and Verification -- Modular Verification of Concurrent Thread Management / Yu Guo, Xinyu Feng, Zhong Shao, Peizhi Shi -- A Case for Behavior-Preserving Actions in Separation Logic / David Costanzo, Zhong Shao -- A Generic Cyclic Theorem Prover / James Brotherston, Nikos Gorogiannis, Rasmus L. Petersen -- Decision Procedures over Sophisticated Fractional Permissions / Xuan Bach Le, Cristian Gherghina, Aquinas Hobor -- Session XI: Invited Talk -- Mechanized Semantics for Compiler Verification / Xavier Leroy
Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection -- JATO: Native Code Atomicity for Java -- Ownership Types for Object Synchronisation -- A Functional View of Imperative Information Flow -- End-to-end Multilevel Hybrid Information Flow Control -- Succour to the Confused Deputy: Types for Capabilities -- Types and Access Controls for Cross-Domain Security in Flash -- Linear Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code -- Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks -- Vinter: A Vampire-Based Tool for Interpolation (Tool Paper) -- Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis -- Inference of Necessary Field Conditions with Abstract Interpretation -- Lazy v. Yield: Incremental, Linear Pretty-Printing -- Dynamic Software Update for Message Passing Programs -- A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis -- Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints -- A New Order-Theoretic Characterisation of the Polytime Computable Functions -- A Dynamic Interpretation of the CPS Hierarchy -- Scalable Formal Machine Models -- Modular Verification of Concurrent Thread Management -- A Case for Behavior-Preserving Actions in Separation Logic -- A Generic Cyclic Theorem Prover -- Decision Procedures over Sophisticated Fractional Permissions -- Mechanized Semantics for Compiler Verification
Summary This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on concurreny, security, static analysis, language design, dynamic analysis, complexity and semantics, and program logics and verification
Analysis APLAS
Programming
Bibliography Includes bibliographical references and author index
Notes Print version record
In Springer eBooks
Subject Programming languages (Electronic computers) -- Congresses
Computer programming -- Congresses
Computer security.
Electronic Data Processing
Computer Security
Informatique.
Computer programming
Programming languages (Electronic computers)
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Jhala, Ranjit.
Igarashi, Atsushi
LC no. 2012952150
ISBN 9783642351822
3642351824
3642351816
9783642351815
Other Titles APLAS 2012