ISBN: 9783642171642
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers … Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings - neues Buch
2010, ISBN: 9783642171642
; PDF \ JORGEN KJEMS; Computing > Computer programming / software development > Programming & scripting languages: general, Springer Berlin Heidelberg
hive.co.uk No. 9783642171642 Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten Details... |
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings - neues Buch
2010, ISBN: 9783642171642
; PDF; Computing > Computer programming / software development > Programming & scripting languages: general, Springer Berlin Heidelberg
hive.co.uk No. 9783642171642. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2010, ISBN: 9783642171642
8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, … Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 9.95) Details... |
2010, ISBN: 9783642171642
Programming Languages and Systems ab 85.49 EURO 8th Asian Symposium APLAS 2010 Shanghai China November 28 - December 1 2010 Proceedings Medien > Bücher, [PU: Springer, Berlin/Heidelberg/N… Mehr…
eBook.de Nr. 25412528. Versandkosten:, , DE. (EUR 0.00) Details... |
ISBN: 9783642171642
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers … Mehr…
JORGEN KJEMS:
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings - neues Buch2010, ISBN: 9783642171642
; PDF \ JORGEN KJEMS; Computing > Computer programming / software development > Programming & scripting languages: general, Springer Berlin Heidelberg
2010, ISBN: 9783642171642
8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, … Mehr…
2010, ISBN: 9783642171642
Programming Languages and Systems ab 85.49 EURO 8th Asian Symposium APLAS 2010 Shanghai China November 28 - December 1 2010 Proceedings Medien > Bücher, [PU: Springer, Berlin/Heidelberg/N… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Programming Languages and Systems
EAN (ISBN-13): 9783642171642
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-04-19T00:07:05+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-08-15T21:56:51+02:00 (Vienna)
ISBN/EAN: 9783642171642
ISBN - alternative Schreibweisen:
978-3-642-17164-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: benedetti
Titel des Buches: programming systems and languages
Daten vom Verlag:
Autor/in: Kazunori Ueda
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Verlag: Springer; Springer Berlin
440 Seiten
Erscheinungsjahr: 2010-11-19
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 440 p. 48 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; APL; Constraint; LA; derivation; design; programming; programming language; verification; C; Compilers and Interpreters; Theory of Computation; Data and Information Security; Software Engineering; Computer Science Logic and Foundations of Programming; Programming Techniques; Computer Science; Theoretische Informatik; Computersicherheit; Netzwerksicherheit; Software Engineering; Computerprogrammierung und Softwareentwicklung; BC
Invited Talks.- A Calculus for Hybrid CSP.- Foundations of Quantum Programming (Extended Abstract).- From a Verified Kernel towards Verified Systems.- Reasoning about Computations Using Two-Levels of Logic.- Session 1.- Typechecking Higher-Order Security Libraries.- Towards Deriving Type Systems and Implementations for Coroutines.- Liberal Typing for Functional Logic Programs.- Session 2.- A Provably Correct Stackless Intermediate Representation for Java Bytecode.- JNI Light: An Operational Model for the Core JNI.- An Interactive Tool for Analyzing Embedded SQL Queries.- Session 3.- Simple and Precise Widenings for H-Polyhedra.- Metric Spaces and Termination Analyses.- Session 4.- Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics.- Interprocedural Control Flow Reconstruction.- Data Structure Fusion.- Session 5.- Categorical Descriptional Composition.- Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras.- Context-Preserving XQuery Fusion.- Session 6.- Index-Compact Garbage Collection.- Live Heap Space Bounds for Real-Time Systems.- Session 7.- A Quick Tour of the VeriFast Program Verifier.- Verification of Tree-Processing Programs via Higher-Order Model Checking.- Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates.- Session 8.- Relational Parametricity for a Polymorphic Linear Lambda Calculus.- A Certified Implementation of ML with Structural Polymorphism.- Type Inference for Sublinear Space Functional Programming.- Session 9.- Liveness of Communicating Transactions (Extended Abstract).- Model Independent Order Relations for Processes.- Concurrency Can’t Be Observed, Asynchronously.- Tutorial.- A Logical Mix of Approximation andSeparation.Up to date results Fast conference proceedings State-of-the-art report
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...