Programming languages and systems : 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, proceedings / Ranjit Jhala, Atsushi Igarashi (eds.)
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 submis...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Other title: | APLAS 2012. |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Heidelberg ; New York :
Springer,
©2012.
|
| Series: | Lecture notes in computer science ;
7705. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000Ka 4500 | ||
|---|---|---|---|
| 001 | b7276136 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 121219s2012 gw a ob 101 0 eng d | ||
| 005 | 20240418144341.0 | ||
| 019 | |a 816512487 |a 817546197 |a 824490986 |a 848173359 | ||
| 020 | |a 9783642351822 |q (electronic bk.) | ||
| 020 | |a 3642351824 |q (electronic bk.) | ||
| 020 | |a 3642351816 |q (print) | ||
| 020 | |a 9783642351815 |q (print) | ||
| 020 | |z 9783642351815 | ||
| 024 | 7 | |a 10.1007/978-3-642-35182-2 | |
| 035 | |a (OCoLC)spr822029762 | ||
| 035 | |a (OCoLC)822029762 |z (OCoLC)816512487 |z (OCoLC)817546197 |z (OCoLC)824490986 |z (OCoLC)848173359 | ||
| 037 | |a spr10.1007/978-3-642-35182-2 | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d GZM |d I9W |d YDXCP |d COO |d ZMC |d NLGGC |d OCLCO |d E7B |d OCLCF |d BEDGE |d OCLCQ |d OCLCO |d AU@ |d OHX |d BWX |d BTCTA |d OCL |d OCLCO |d OCLCQ |d EBLCP | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.7 |b .A65 2012 | |
| 111 | 2 | |a APLAS 2012 |d (2012 : |c Kyoto, Japan) | |
| 245 | 1 | 0 | |a Programming languages and systems : |b 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, proceedings / |c Ranjit Jhala, Atsushi Igarashi (eds.) |
| 246 | 3 | |a APLAS 2012. | |
| 260 | |a Heidelberg ; |a New York : |b Springer, |c ©2012. | ||
| 300 | |a 1 online resource (xi, 388 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 7705. | |
| 490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering. | |
| 505 | 0 | 0 | |g Session I: |t Invited Talk -- |t Planet Dynamic or: |t How I Learned to Stop Worrying and Love Reflection / |r Jan Vitek -- |g Session II: |t Concurrency -- |t JATO: |t Native Code Atomicity for Java / |r Siliang Li, Yu David Liu, Gang Tan -- |t Ownership Types for Object Synchronisation / |r Yi Lu, John Potter, Jingling Xue -- |g Session III: |t Security -- |t A Functional View of Imperative Information Flow / |r Thomas H. Austin, Cormac Flanagan, Martín Abadi -- |t End-to-end Multilevel Hybrid Information Flow Control / |r Lennart Beringer -- |t Succour to the Confused Deputy / |r Radha Jagadeesan, Corin Pitcher, James Riely -- |t Types and Access Controls for Cross-Domain Security in Flash / |r Aseem Rastogi, Avik Chaudhuri, Rob Johnson -- |g Session IV: |t Static Analysis I -- |t Linear Approximation of Continuous Systems with Trapezoid Step Functions / |r Giulia Costantini, Pietro Ferrara, Agostino Cortesi. |
| 505 | 8 | 0 | |t Signedness-Agnostic Program Analysis: |t Precise Integer Bounds for Low-Level Code / |r Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey -- |t Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks / |r Pascal Sotin, Xavier Rival -- |t Vinter:A |t Vampire-Based Tool for Interpolation / |r Kryštof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov -- |g Session V: |t Static Analysis II -- |t Side-Effecting Constraint Systems: |t A Swiss Army Knife for Program Analysis / |r Kalmer Apinis, Helmut Seidl, Vesal Vojdani -- |t Inference of Necessary Field Conditions with Abstract Interpretation / |r Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich -- |g Session VI: |t Language Design -- |t Lazy v. Yield: |t Incremental, Linear Pretty-Printing / |r Oleg Kiselyov, Simon Peyton-Jones, Amr Sabry -- |t Dynamic Software Update for Message Passing Programs / |r Gabrielle Anderson, Julian Rathke. |
| 505 | 8 | 0 | |g A |t Synchronous Language with Partial Delay Specification for Real-Time Systems Programming / |r Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti -- |g Session VII: |t Dynamic Analysis -- |t Concurrent Test Generation Using Concolic Multi-trace Analysis / |r Niloofar Razavi, Franjo Ivančić, Vineet Kahlon, Aarti Gupta -- |t Java Bytecode Instrumentation Made Easy: |t The DiSL Framework for Dynamic Program Analysis / |r Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tůma -- |g Session VIII: |t Complexity and Semantics -- |t Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints / |r Aloïs Brunel, Antoine Madet. |
| 505 | 8 | 0 | |g A |t New Order-Theoretic Characterisation of the Polytime Computable Functions / |r Martin Avanzini, Naohi Eguchi, Georg Moser -- |g Session VIII: |t Complexity and Semantics --A |t Dynamic Interpretation of the CPS Hierarchy / |r Marek Materzok, Dariusz Biernacki -- |g Session IX: |t Invited Talk -- |t Scalable Formal Machine Models / |r Greg Morrisett -- |g Session X: |t Program Logics and Verification -- |t Modular Verification of Concurrent Thread Management / |r Yu Guo, Xinyu Feng, Zhong Shao, Peizhi Shi --A |t Case for Behavior-Preserving Actions in Separation Logic / |r David Costanzo, Zhong Shao --A |t Generic Cyclic Theorem Prover / |r James Brotherston, Nikos Gorogiannis, Rasmus L. Petersen -- |t Decision Procedures over Sophisticated Fractional Permissions / |r Xuan Bach Le, Cristian Gherghina, Aquinas Hobor -- |g Session XI: |t Invited Talk -- |t Mechanized Semantics for Compiler Verification / |r Xavier Leroy. |
| 504 | |a Includes bibliographical references and author index. | ||
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Programming languages (Electronic computers) |v Congresses. | |
| 650 | 0 | |a Computer programming |v Congresses. | |
| 650 | 7 | |a Computer programming. |2 fast |0 (OCoLC)fst00872390. | |
| 650 | 7 | |a Programming languages (Electronic computers) |2 fast |0 (OCoLC)fst01078704. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 700 | 1 | |a Jhala, Ranjit. | |
| 700 | 1 | |a Igarashi, Atsushi. | |
| 776 | 0 | 8 | |i Print version: |t Programming languages and systems. |d [S.l.] : Springer, 2012 |z 3642351816 |w (OCoLC)816512487. |
| 830 | 0 | |a Lecture notes in computer science ; |v 7705. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 2, |p Programming and software engineering. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-35182-2 |z Full Text (via Springer) |
| 907 | |a .b72761362 |b 03-06-21 |c 01-30-13 | ||
| 998 | |a web |b 05-01-17 |c f |d b |e - |f eng |g gw |h 0 |i 1 | ||
| 907 | |a .b72761362 |b 05-09-17 |c 01-30-13 | ||
| 915 | |a K | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Computer Science eBooks 2012 English International | ||
| 956 | |b Springer Nature - Springer Computer Science eBooks 2012 English International | ||
| 999 | f | f | |i 1f2bd2eb-f21a-59ed-b1d8-b057fc2ffd83 |s 0e1197f0-324a-5fdb-b0b9-e1b19cf2dad5 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.7 .A65 2012 |h Library of Congress classification |i Ebooks, Prospector |n 1 |