LEADER 04523nam  22007815  450 
001 9910484344303321
005 20251226203521.0
010   $a3-540-89330-X
024 7 $a10.1007/978-3-540-89330-1
035   $a(CKB)1000000000545877
035   $a(SSID)ssj0000319600
035   $a(PQKBManifestationID)11243368
035   $a(PQKBTitleCode)TC0000319600
035   $a(PQKBWorkID)10338870
035   $a(PQKB)10679868
035   $a(DE-He213)978-3-540-89330-1
035   $a(MiAaPQ)EBC3063743
035   $a(MiAaPQ)EBC6708998
035   $a(Au-PeEL)EBL6708998
035   $a(PPN)132861461
035   $a(EXLCZ)991000000000545877
100   $a20100301d2008      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aProgramming Languages and Systems $e6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings /$fedited by G. Ramalingam
205   $a1st ed. 2008.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008.
215   $a1 online resource (X, 343 p.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v5356
300   $aInternational conference proceedings.
311 08$a3-540-89329-6 
320   $aIncludes bibliographical references and index.
327   $aAbductive Inference for Reasoning about Heaps -- A Sound Floating-Point Polyhedra Abstract Domain -- A Flow-Sensitive Region Inference for CLI -- Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution -- Static Detection of Place Locality and Elimination of Runtime Checks -- Certified Reasoning in Memory Hierarchies -- The Complexity of Coverage -- Game Characterizations of Process Equivalences -- Extensional Universal Types for Call-by-Value -- Harnessing the Multicores: Nested Data Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References -- Reasoning about Java?s Reentrant Locks -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction -- On Affine Usages in Signal-Based Communication -- Abstraction of Clocks in Synchronous Data-Flow Systems -- From Authorization Logics to Types for Authorization -- Interface Types for Haskell -- Exception Handlers as Extensible Cases -- Sound and Complete Type Inference for a Systems Programming Language -- An Operational Semantics for JavaScript -- JavaScript Instrumentation in Practice.
330   $aThis book constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008. The 20 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 41 submissions. The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. The papers cover topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, software security, safety, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v5356
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aOperating systems (Computers)
606   $aComputer science
606   $aComputer programming
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aOperating Systems
606   $aComputer Science Logic and Foundations of Programming
606   $aProgramming Techniques
615  0$aCompilers (Computer programs)
615  0$aSoftware engineering.
615  0$aOperating systems (Computers)
615  0$aComputer science.
615  0$aComputer programming.
615 14$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aOperating Systems.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aProgramming Techniques.
676   $a006.3
702   $aRamalingam$b G.
712 12$aAPLAS 2008
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484344303321
996   $aProgramming Languages and Systems$93644366
997   $aUNINA