LEADER 05610nam 22007695 450 001 9910484695803321 005 20200706052424.0 010 $a3-642-17164-8 024 7 $a10.1007/978-3-642-17164-2 035 $a(CKB)2670000000056673 035 $a(SSID)ssj0000446715 035 $a(PQKBManifestationID)11282031 035 $a(PQKBTitleCode)TC0000446715 035 $a(PQKBWorkID)10497040 035 $a(PQKB)10855490 035 $a(DE-He213)978-3-642-17164-2 035 $a(MiAaPQ)EBC3066156 035 $a(PPN)14989032X 035 $a(EXLCZ)992670000000056673 100 $a20101119d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProgramming Languages and Systems $e8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /$fedited by Kazunori Ueda 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (X, 440 p. 48 illus.) 225 1 $aProgramming and Software Engineering ;$v6461 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-17163-X 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels of Logic -- Session 1 -- Typechecking Higher-Order Security Libraries -- Towards Deriving Type Systems and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct Stackless Intermediate Representation for Java Bytecode -- JNI Light: An Operational Model for the Core JNI -- An Interactive Tool for Analyzing Embedded SQL Queries -- Session 3 -- Simple and Precise Widenings for H-Polyhedra -- Metric Spaces and Termination Analyses -- Session 4 -- Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics -- Interprocedural Control Flow Reconstruction -- Data Structure Fusion -- Session 5 -- Categorical Descriptional Composition -- Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras -- Context-Preserving XQuery Fusion -- Session 6 -- Index-Compact Garbage Collection -- Live Heap Space Bounds for Real-Time Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing Programs via Higher-Order Model Checking -- Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates -- Session 8 -- Relational Parametricity for a Polymorphic Linear Lambda Calculus -- A Certified Implementation of ML with Structural Polymorphism -- Type Inference for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended Abstract) -- Model Independent Order Relations for Processes -- Concurrency Can?t Be Observed, Asynchronously -- Tutorial -- A Logical Mix of Approximation and Separation. 330 $aThe 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation. 410 0$aProgramming and Software Engineering ;$v6461 606 $aProgramming languages (Electronic computers) 606 $aComputers 606 $aComputer security 606 $aSoftware engineering 606 $aComputer logic 606 $aComputer programming 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aProgramming languages (Electronic computers). 615 0$aComputers. 615 0$aComputer security. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aComputer programming. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aTheory of Computation. 615 24$aSystems and Data Security. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Techniques. 676 $a005.13 702 $aUeda$b Kazunori$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aAPLAS 2010 906 $aBOOK 912 $a9910484695803321 996 $aProgramming Languages and Systems$93644366 997 $aUNINA