|
|
|
|
| LEADER |
00000nam a22000005i 4500 |
| 001 |
b3287149 |
| 003 |
MWH |
| 005 |
20191024042637.0 |
| 007 |
cr nn 008mamaa |
| 008 |
100301s2009 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783642005909
|
| 024 |
7 |
|
|a 10.1007/978-3-642-00590-9
|2 doi
|
| 035 |
|
|
|a (DE-He213)978-3-642-00590-9
|
| 050 |
|
4 |
|a E-Book
|
| 072 |
|
7 |
|a UMX
|2 bicssc
|
| 072 |
|
7 |
|a COM051010
|2 bisacsh
|
| 072 |
|
7 |
|a UMX
|2 thema
|
| 072 |
|
7 |
|a UMC
|2 thema
|
| 245 |
1 |
0 |
|a Programming Languages and Systems
|h [electronic resource] :
|b 18th 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 /
|c edited by Giuseppe Castagna.
|
| 250 |
|
|
|a 1st ed. 2009.
|
| 264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2009.
|
| 300 |
|
|
|a XV, 411 p.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Theoretical Computer Science and General Issues ;
|v 5502
|
| 490 |
1 |
|
|a Springer eBook Collection
|
| 505 |
0 |
|
|a Typed 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 |
|
|
|a This 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.
|
| 590 |
|
|
|a Loaded electronically.
|
| 590 |
|
|
|a Electronic access restricted to members of the Holy Cross Community.
|
| 650 |
|
0 |
|a Programming languages (Electronic computers).
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Computers.
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Computer logic.
|
| 650 |
|
0 |
|a Algorithms.
|
| 690 |
|
|
|a Electronic resources (E-books)
|
| 700 |
1 |
|
|a Castagna, Giuseppe.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 830 |
|
0 |
|a Theoretical Computer Science and General Issues ;
|v 5502
|
| 830 |
|
0 |
|a Springer eBook Collection.
|
| 856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-3-642-00590-9
|3 Click to view e-book
|t 0
|
| 907 |
|
|
|a .b32871491
|b 04-18-22
|c 02-26-20
|
| 998 |
|
|
|a he
|b 02-26-20
|c m
|d @
|e -
|f eng
|g gw
|h 0
|i 1
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
| 902 |
|
|
|a springer purchased ebooks
|
| 903 |
|
|
|a SEB-COLL
|
| 945 |
|
|
|f - -
|g 1
|h 0
|j - -
|k - -
|l he
|o -
|p $0.00
|q -
|r -
|s b
|t 38
|u 0
|v 0
|w 0
|x 0
|y .i22003113
|z 02-26-20
|
| 999 |
f |
f |
|i d36a1d87-888f-562e-8384-1b2723f34155
|s 40fed835-4be5-53f6-9b9f-3b8eae6559cb
|t 0
|
| 952 |
f |
f |
|p Online
|a College of the Holy Cross
|b Main Campus
|c E-Resources
|d Online
|t 0
|e E-Book
|h Library of Congress classification
|i Elec File
|