KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Static Analysis
  • Produktbild: Static Analysis
Band 724

Static Analysis Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.09.1993

Abbildungen

X, 290 p.

Herausgeber

Patrick Cousot + weitere

Verlag

Springer Berlin

Seitenzahl

290

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

458 g

Auflage

1993

Sprache

Englisch

ISBN

978-3-540-57264-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.09.1993

Abbildungen

X, 290 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

290

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

458 g

Auflage

1993

Sprache

Englisch

ISBN

978-3-540-57264-0

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: Static Analysis
  • Produktbild: Static Analysis
  • The impact of granularity in abstract interpretation of Prolog.- Optimization techniques for general purpose fixpoint algorithms practical efficiency for the abstract interpretation of Prolog.- Chaotic fixpoint iteration guided by dynamic dependency.- Fast abstract interpretation using sequential algorithms.- Abstract interpretation and verification of reactive systems.- Semantics and analysis of linda-based languages.- Compiling FX on the CM-2.- Combining dependability with architectural adaptability by means of the signal language.- Challenges in developing useful and practical static analysis for logic programs.- Occam's razor in metacomputation: the notion of a perfect process tree.- Tupling functions with multiple recursion parameters.- Avoiding repeated tests in pattern matching.- Freeness, sharing, linearity and correctness — All at once.- Synthesis of directionality information for functional logic programs.- Abstract rewriting.- Reflections on program optimization.- Finitenessconditions for strictness analysis.- Strictness properties of lazy algebraic datatypes.- Minimal thunkification.- An efficient abductive reasoning system based on program analysis.- A congruence for gamma programs.- Usage analysis with natural reduction types.- Polymorphic types and widening operators.- Demonstration: static analysis of AKL.