• Produktbild: Program Analysis and Compilation, Theory and Practice
  • Produktbild: Program Analysis and Compilation, Theory and Practice
Band 4444

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.03.2007

Abbildungen

X, 361 p.

Herausgeber

Thomas Reps + weitere

Verlag

Springer Berlin

Seitenzahl

361

Maße (L/B/H)

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

Gewicht

575 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-71315-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.03.2007

Abbildungen

X, 361 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

361

Maße (L/B/H)

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

Gewicht

575 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-71315-9

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: Program Analysis and Compilation, Theory and Practice
  • Produktbild: Program Analysis and Compilation, Theory and Practice
  • An Appreciation.- An Appreciation of the Work of Reinhard Wilhelm.- Technical Papers.- New Developments in WCET Analysis.- Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification.- Lazy Execution of Boolean Queries.- Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses.- Infering Ownership Types for Encapsulated Object-Oriented Program Components.- ViDoC - Visual Design of Optimizing Compilers.- Abstract Interpretation for Worst and Average Case Analysis.- Grammar Analysis and Parsing by Abstract Interpretation.- Ensuring Properties of Interaction Systems.- On the Expressive Power of Live Sequence Charts.- Refinement-Based Verification for Possibly-Cyclic Lists.- Abstract Counterexample-Based Refinement for Powerset Domains.- Types from Control Flow Analysis.- Data Flow Analysis for CCS.- Towards a Source Level Compiler: Source Level Modulo Scheduling.