|
|
|
|
| LEADER |
00000nam a22000005i 4500 |
| 001 |
b3288412 |
| 003 |
MWH |
| 005 |
20191022152009.0 |
| 007 |
cr nn 008mamaa |
| 008 |
140321s2014 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783642548338
|
| 024 |
7 |
|
|a 10.1007/978-3-642-54833-8
|2 doi
|
| 035 |
|
|
|a (DE-He213)978-3-642-54833-8
|
| 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 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
|c edited by Zhong Shao.
|
| 250 |
|
|
|a 1st ed. 2014.
|
| 264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2014.
|
| 300 |
|
|
|a XIV, 576 p. 161 illus.
|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 8410
|
| 490 |
1 |
|
|a Springer eBook Collection
|
| 505 |
0 |
|
|a Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional Equality for All -- Verified Compilation for Shared-Memory C -- Verifying an Open Compiler Using Multi-language Semantics -- Impredicative Concurrent Abstract Predicates -- Local Reasoning for the POSIX File System -- A Coq Formalization of the Relational Data Model -- On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming -- The Duality of Construction -- Deriving Pretty-Big-Step Semantics from Small-Step Semantics -- Communicating State Transition Systems for Fine-Grained Concurrent Resources -- Checking Linearizability of Encapsulated Extended Operations -- Bounded Linear Types in a Resource Semiring -- A Core Quantitative Coeffect Calculus -- Measurements in Proof Nets as Higher-Order Quantum Circuits -- Automatic Termination Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using Alternative Paths -- The Network as a Language Construct -- Resolving Non-determinism in Choreographies -- A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join -- Targeted Update – Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis -- Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries.
|
| 520 |
|
|
|a This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The 27 papers presented in this volume were carefully reviewed and selected from 109 submissions. In addition, the book contains two invited talks. The contributions are organized in topical sections named: type systems; verified compilation; program verification; semantics; concurrency; linear types; network and process calculi; and program analysis.
|
| 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 Computer logic.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Computers.
|
| 650 |
|
0 |
|a Computer programming.
|
| 690 |
|
|
|a Electronic resources (E-books)
|
| 700 |
1 |
|
|a Shao, Zhong.
|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 8410
|
| 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-54833-8
|3 Click to view e-book
|t 0
|
| 907 |
|
|
|a .b32884126
|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 .i22015747
|z 02-26-20
|
| 999 |
f |
f |
|i 3f117a7a-612a-500c-aad7-dfdc13ae2fa6
|s 9bf98bd5-2f2c-58b7-80e6-ecbfcf13fef6
|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
|