Band 2126
Static Analysis 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings
Aus der Reihe
Lecture Notes in Computer Science
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
-
Auflage:2001
- 1993 Fr. 72.90
- 2001 Fr. 72.90 ausgewählt
- 1999 Fr. 72.90
Fr. 72.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
04.07.2001
Abbildungen
XI, 439 p.
Herausgeber
Patrick CousotVerlag
Springer BerlinSeitenzahl
439
Maße (L/B/H)
23.5/15.5/2.5 cm
Gewicht
686 g
Auflage
2001
Sprache
Englisch
ISBN
978-3-540-42314-0
Invited Paper.- Analysis of Multithreaded Programs.- Program Transformation.- Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.- Using Slicing to Identify Duplication in Source Code.- Soft Scheduling for Hardware.- Strictness and Termination.- Effective Strictness Analysis with HORN Constraints.- Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs.- An Abstract Analysis of the Probabilistic Termination of Programs.- Semantics Abstraction.- Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses.- Logic and Constraint Programming.- Parameterizing a Groundness Analysis of Logic Programs.- Finite-Tree Analysis for Constraint Logic-Based Languages.- Invited Paper.- Applications of Extended Static Checking.- Data Structures.- Cleanness Checking of String Manipulations in C Programs via Integer Analysis.- Solving Regular Tree Grammar Based Constraints.- Static Analyses of the Precision of Floating-Point Operations.- Pointer Analysis.- Estimating the Impact of Scalable Pointer Analysis on Optimization.- Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses.- Model Checking.- Parametric Optimization of Open Real-Time Systems.- Embedding Chaos.- Abstract Model Checking.- Analyzing Fair Parametric Extended Automata.- Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking.- Invited Talk.- Language-Based Security: What's Needed and Why.- Mobility.- A Behavioral Module System for the Pi-Calculus.- An Abstract Interpretation Framework for Analysing Mobile Ambients.- Abstract Interpretation-Based Static Analysis of Mobile Ambients.- Invited Session on Security.- Static Analysis and Software Assurance.- A Type and EffectAnalysis of Security Protocols.- Abstracting Cryptographic Protocols by Prolog Rules.- Security-Typed Languages and Distributed Computation.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.