fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Hermenegildo / Puebla

Static Analysis

9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings

Medium: Buch
ISBN: 978-3-540-44235-6
Verlag: Springer
Erscheinungstermin: 06.09.2002
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

acknowledged.

Produkteigenschaften

  • Artikelnummer: 9783540442356
  • Medium: Buch
  • ISBN: 978-3-540-44235-6
  • Verlag: Springer
  • Erscheinungstermin: 06.09.2002
  • Sprache(n): Englisch
  • Auflage: Erscheinungsjahr 2002
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert, Paperback
  • Gewicht: 1680 g
  • Seiten: 536
  • Format (B x H x T): 155 x 235 x 30 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

Static Program Analysis via 3-Valued Logic.- Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges.- An Algebraic Approach to the Static Analysis of Concurrent Software.- Polynomial Constants Are Decidable.- Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi.- Nonuniform Alias Analysis of Recursive Data Structures and Arrays.- Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes.- Automated Verification of Concurrent Linked Lists with Counters.- Backward Type Inference Generalises Type Checking.- More Precise Yet Efficient Type Inference for Logic Programs.- A Few Graph-Based Relational Numerical Abstract Domains.- Static Analysis of the Numerical Stability of Loops.- On Termination of Logic Programs with Floating Point Computations.- Modular Control Flow Analysis for Libraries.- An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages.- Compactly Representing First-Order Structures for Static Analysis.- Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library.- Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis.- Improving the Precision of Equality-Based Dataflow Analyses.- Guaranteed Optimization: Proving Nullspace Properties of Compilers.- Representation Analysis for Coercion Placement.- Pipeline Modeling for Timing Analysis.- Analysing Approximate Confinement under Uniform Attacks.- An Improved Constraint-Based System for the Verification of Security Protocols.- From Secrecy to Authenticity in Security Protocols.- Security Typings by Abstract Interpretation.- Static Confidentiality Enforcement for Distributed Programs.- Refinement of LTL Formulas for Abstract Model Checking.- Making Abstract Model Checking Strongly Preserving.- Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties.- Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation.- States vs. Traces in Model Checking by Abstract Interpretation.- Reuse of Results in Termination Analysis of Typed Logic Programs.- Finiteness Analysis in Polynomial Time.- Detecting Optimal Termination Conditions of Logic Programs.