2014, ISBN: 9783642548338
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 Conferen… Mehr…
Buch.ch No. 44258767 Versandkosten:zzgl. Versandkosten Details... |
2014, ISBN: 9783642548338
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, Proce… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 13.95) Details... |
ISBN: 9783642548338
Computer Science; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Software Engineering; Computation by Abstract Devices; Programming Techniques calculus, … Mehr…
Springer.com Versandkosten:zzgl. Versandkosten Details... |
Programming Languages and Systems : 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, - neues Buch
2014, ISBN: 9783642548338
; PDF; Computing > Computer programming / software development > Programming & scripting languages: general, John Benjamins Publishing Company
hive.co.uk No. 9783642548338. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2014, ISBN: 9783642548338
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, Proce… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2014, ISBN: 9783642548338
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 Conferen… Mehr…
2014, ISBN: 9783642548338
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, Proce… Mehr…
ISBN: 9783642548338
Computer Science; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Software Engineering; Computation by Abstract Devices; Programming Techniques calculus, … Mehr…
Programming Languages and Systems : 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, - neues Buch
2014, ISBN: 9783642548338
; PDF; Computing > Computer programming / software development > Programming & scripting languages: general, John Benjamins Publishing Company
2014, ISBN: 9783642548338
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, Proce… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Programming Languages and Systems
EAN (ISBN-13): 9783642548338
Erscheinungsjahr: 2014
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-04-17T03:28:20+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-01-24T13:37:34+01:00 (Vienna)
ISBN/EAN: 9783642548338
ISBN - alternative Schreibweisen:
978-3-642-54833-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: wilhelm scherer, john wilhelm
Titel des Buches: esop
Daten vom Verlag:
Autor/in: Zhong Shao
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Programming Languages and Systems - 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
Verlag: Springer; Springer Berlin
576 Seiten
Erscheinungsjahr: 2014-03-21
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIV, 576 p. 161 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; calculus; concurrency; formal methods; linear types; models of computation; process calculi; program analysis; program reasoning; program semantics; C; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Software Engineering; Theory of Computation; Programming Techniques; Computer Science; Theoretische Informatik; Software Engineering; Computerprogrammierung und Softwareentwicklung; BC
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781013269882 Programming Languages and Systems (Amal Ahmed)
- 9781013269882 Programming Languages and Systems (Amal Ahmed)
- 9781013269899 Programming Languages and Systems (Amal Ahmed)
- 9783319898834 Programming Languages and Systems (Amal Ahmed)
- 9783319898841 Programming Languages and Systems (Amal Ahmed)
- 9780070537088 Programming Systems and Languages. (Rosen, Saul, Comp)
< zum Archiv...