Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Oktober 2005
Genre:	EDV / Informatik
	C / Compilers & interpreters / Compilers and Interpreters / Computer architecture & logic design / Computer logic / Computer programming / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Logics and Meanings of Programs / Operating systems / Operating systems (Computers) / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Programming Techniques / Software Engineering / Software Engineering/Programming and Operating Systems mehr...
ISBN:	9783540297352
EAN-Code:	9783540297352
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#3780 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1400 gr
Seiten:	438
Illustration:	XIII, 438 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.