000 04793nam a22006015i 4500
001 978-3-642-00590-9
003 DE-He213
005 20240730190912.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 _a9783642005909
_9978-3-642-00590-9
024 7 _a10.1007/978-3-642-00590-9
_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] :
_b18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings /
_cedited by Giuseppe Castagna.
250 _a1st ed. 2009.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2009.
300 _aXV, 411 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v5502
505 0 _aTyped Functional Programming -- Well-Typed Programs Can't Be Blamed -- Exploring the Design Space of Higher-Order Casts -- Practical Variable-Arity Polymorphism -- Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming -- ETAPS Invited Talk -- Using Category Theory to Design Programming Languages -- Computational Effects -- Modular Monad Transformers -- Handlers of Algebraic Effects -- Types for Object-Oriented Languages -- Is Structural Subtyping Useful? An Empirical Study -- An Interval-Based Inference of Variant Parametric Types -- Existential Quantification for Variant Ownership -- Verification -- Formalising and Verifying Reference Attribute Grammars in Coq -- Verified, Executable Parsing -- An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees -- Amortised Memory Analysis Using the Depth of Data Structures -- ESOP Invited Talk -- The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design? -- Security -- All Secrets Great and Small -- Type-Based Automated Verification of Authenticity in Cryptographic Protocols -- Concurrency -- A Theory of Non-monotone Memory (Or: Contexts for free) -- Abstraction for Concurrent Objects -- Minimization Algorithm for Symbolic Bisimilarity -- Service-Oriented Computing -- Conversation Types -- Abstract Processes in Orchestration Languages -- Global Principal Typing in Partially Commutative Asynchronous Sessions -- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services -- Parallel and Concurrent Programming -- Automatic Parallelization with Separation Logic -- Deny-Guarantee Reasoning -- A Basis for Verifying Multi-threaded Programs -- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.
520 _aThis book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 26 revised full papers presented together with two abstracts of invited talks were carefully reviewed and selected from 98 full paper submissions. The topics addressed are typed functional programming, computational effects, types for object-oriented languages, verification, security, concurrency, service-oriented computing, parallel and concurrent programming.
650 0 _aCompilers (Computer programs).
_93350
650 0 _aSoftware engineering.
_94138
650 0 _aComputer science.
_99832
650 0 _aComputer programming.
_94169
650 0 _aAlgorithms.
_93390
650 1 4 _aCompilers and Interpreters.
_931853
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aTheory of Computation.
_9144384
650 2 4 _aProgramming Techniques.
_9144385
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aAlgorithms.
_93390
700 1 _aCastagna, Giuseppe.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9144386
710 2 _aSpringerLink (Online service)
_9144387
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642005893
776 0 8 _iPrinted edition:
_z9783642005916
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v5502
_9144388
856 4 0 _uhttps://doi.org/10.1007/978-3-642-00590-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c93509
_d93509