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

Static Analysis 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.09.1998

Abbildungen

X, 394 p.

Herausgeber

Giorgio Levi

Verlag

Springer Berlin

Seitenzahl

394

Maße (L/B/H)

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

Gewicht

610 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-65014-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.09.1998

Abbildungen

X, 394 p.

Herausgeber

Giorgio Levi

Verlag

Springer Berlin

Seitenzahl

394

Maße (L/B/H)

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

Gewicht

610 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-65014-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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
  • Data-Flow Analysis.- Bidirectional Data Flow Analysis in Code Motion: Myth and Reality.- On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines.- Enabling Sparse Constant Propagation of Array Elements via Array SSA Form.- Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses.- Logic Programming.- Analysis of Normal Logic Programs.- The Correctness of Set-Sharing.- Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing.- Concurrency.- A Symbolic Semantics for Abstract Model Checking.- Automatic Determination of Communication Topologies in Mobile Systems.- Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.- Abstract Domains.- A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs.- Refining Static Analyses by Trace-Based Partitioning Using Control Flow.- Building Complete Abstract Interpretations in a Linear Logic-Based Setting.- Partial Evaluation.- On the Power of Homeomorphic Embedding for Online Termination.- Analysis of Imperative Programs through Analysis of Constraint Logic Programs.- Improving Control in Functional Logic Program Specialization.- Type Inference.- Directional Type Inference for Logic Programs.- Finite Subtype Inference with Explicit Polymorphism.- Optimization.- Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis.- A New Solution to the Hidden Copy Problem.- Tutorials.- A Tutorial on Domain Theory in Abstract Interpretation.- Program Analysis as Model Checking of Abstract Interpretations.- Invited Talks.- Certifying, Optimizing Compilation.