Vor Ort
Merkzettel Warenkorb
Produktbild: Programming Languages and Systems
Band 6461

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.11.2010

Abbildungen

X, 48 illus., schwarz-weiss Illustrationen

Herausgeber

Kazunori Ueda

Verlag

Springer Berlin

Seitenzahl

440

Maße (L/B/H)

23,6/15,7/3,3 cm

Gewicht

708 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-17163-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.11.2010

Abbildungen

X, 48 illus., schwarz-weiss Illustrationen

Herausgeber

Kazunori Ueda

Verlag

Springer Berlin

Seitenzahl

440

Maße (L/B/H)

23,6/15,7/3,3 cm

Gewicht

708 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-17163-5

Herstelleradresse

Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg
DE
ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Programming Languages and Systems
  • 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 and Separation.