Vor Ort
Merkzettel Warenkorb
Produktbild: Programming Languages and Systems

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.10.2005

Abbildungen

XIII, 438 p.

Herausgeber

Kwangkeun Yi

Verlag

Springer Berlin

Seitenzahl

438

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

680 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-29735-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.10.2005

Abbildungen

XIII, 438 p.

Herausgeber

Kwangkeun Yi

Verlag

Springer Berlin

Seitenzahl

438

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

680 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-29735-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: 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 Talk.- Type Systems for XML.- The Essence of Dataflow Programming.- Data Refinement with Low-Level Pointer Operations.- A Simple Semantics for Polymorphic Recursion.- Symbolic Execution with Separation Logic.- An Abstract Interpretation Perspective on Linear vs. Branching Time.- The Parallel Implementation of the Astrée Static Analyzer.- Using Datalog with Binary Decision Diagrams for Program Analysis.- Loop Invariants on Demand.- Invited Talk.- Integrating Physical Systems in the Static Analysis of Embedded Control Software.- Reflection Analysis for Java.- Lightweight Family Polymorphism.- A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting.- Race Conditions in Message Sequence Charts.- Invited Talk.- A Next-Generation Platform for Analyzing Executables.- Calculating Polynomial Runtime Properties.- Resource Bound Certification for a Tail-Recursive Virtual Machine.- A Path Sensitive Type System for Resource Usage Verification of C Like Languages.- Termination Analysis of Higher-Order Functional Programs.- Heterogeneous Fixed Points with Application to Points-To Analysis.- Register Allocation Via Coloring of Chordal Graphs.- Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis.- Abstract Dependences for Alarm Diagnosis.- A Typed, Compositional Logic for a Stack-Based Abstract Machine.- A New Occurrence Counting Analysis for BioAmbients.- A Parametric Model for the Analysis of Mobile Ambients.- On the Rôle of Abstract Non-interference in Language-Based Security.