000 04091nam a22005895i 4500
001 978-3-540-89330-1
003 DE-He213
005 20240423125355.0
007 cr nn 008mamaa
008 100301s2008 gw | s |||| 0|eng d
020 _a9783540893301
_9978-3-540-89330-1
024 7 _a10.1007/978-3-540-89330-1
_2doi
050 4 _aQA76.76.C65
072 7 _aUMC
_2bicssc
072 7 _aCOM010000
_2bisacsh
072 7 _aUMC
_2thema
082 0 4 _a005.45
_223
245 1 0 _aProgramming Languages and Systems
_h[electronic resource] :
_b6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings /
_cedited by G. Ramalingam.
250 _a1st ed. 2008.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2008.
300 _aX, 343 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5356
505 0 _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.
520 _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.
650 0 _aCompilers (Computer programs).
650 0 _aSoftware engineering.
650 0 _aOperating systems (Computers).
650 0 _aComputer science.
650 0 _aComputer programming.
650 1 4 _aCompilers and Interpreters.
650 2 4 _aSoftware Engineering.
650 2 4 _aOperating Systems.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aProgramming Techniques.
700 1 _aRamalingam, G.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540893295
776 0 8 _iPrinted edition:
_z9783540893585
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5356
856 4 0 _uhttps://doi.org/10.1007/978-3-540-89330-1
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c177250
_d177250