Return to home page
Searching: Muskingum library catalog
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference APLAS 2012 (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.).
Imprint Heidelberg ; New York : Springer, 2012.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
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.
Subject Programming languages (Electronic computers) -- Congresses.
Computer programming -- Congresses.
Alt Name Jhala, Ranjit.
Igarashi, Atsushi (Computer engineer)
Add Title APLAS 2012
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
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.
Subject Programming languages (Electronic computers) -- Congresses.
Computer programming -- Congresses.
Alt Name Jhala, Ranjit.
Igarashi, Atsushi (Computer engineer)
Add Title APLAS 2012
Description 1 online resource (xi, 388 pages) : illustrations.
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, Martin 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 Sndergaard, Peter J. Stuckey -- Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks / Pascal Sotin, Xavier Rival -- Vinter: A Vampire-Based Tool for Interpolation / Krystof Hoder, Andreas Holzer, Laura Kovacs, 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 Fahndrich -- 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 / Remy Wyss, Frederic Boniol, Julien Forget, Claire Pagetti -- Session VII: Dynamic Analysis -- Concurrent Test Generation Using Concolic Multi-trace Analysis / Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta -- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis / Lukas Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tuma -- Session VIII: Complexity and Semantics -- Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints / Alois 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.
Bibliography Note Includes bibliographical references and author index.
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.
Note Print version record.
ISBN 9783642351822 (electronic bk.)
3642351824 (electronic bk.)
3642351816 (print)
9783642351815 (print)
9783642351815
ISBN/ISSN 10.1007/978-3-642-35182-2
OCLC # 822029762
Additional Format Print version: Programming languages and systems. [S.l.] : Springer, 2012 3642351816 (OCoLC)816512487