Static analysis [electronic resource] : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot, ed.
- Conference Author
- International Static Analysis Symposium (8th : 2001 : Paris, France)
- Published
- Berlin ; New York : Springer, [2001]
- Copyright Date
- ©2001
- Physical Description
- 1 volume
- Additional Creators
- Cousot, Patrick, 1948- and SpringerLink (Online service)
Access Online
- Online version: ezaccess.libraries.psu.edu
- Series
- Contents
- Analysis of Multithreaded Programs / Martin Rinard -- Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs / Miquel Bertran, Francesc Babot, August Climent, Miquel Nicolau -- Using Slicing to Identify Duplication in Source Code / Raghavan Komondoor, Susan Horwitz -- Soft Scheduling for Hardware / Richard Sharp, Alan Mycroft -- Effective Strictness Analysis with HORN Constraints / Kevin Glynn, Peter J. Stuckey, Martin Sulzmann -- Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs / Fred Mesnard, Ulrich Neumerkel -- An Abstract Analysis of the Probabilistic Termination of Programs / David Monniaux -- Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses / Fausto Spoto -- Parameterizing a Groundness Analysis of Logic Programs / Lunjin Lu -- Finite-Tree Analysis for Constraint Logic-Based Languages / Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella -- Applications of Extended Static Checking / K. Rustan, M. Leino -- Cleanness Checking of String Manipulations in C Programs via Integer Analysis / Nurit Dor, Michael Rodeh, Mooly Sagiv -- Solving Regular Tree Grammar Based Constraints / Yanhong A. Liu, Ning Li, Scott D. Stoller -- Static Analyses of the Precision of Floating-Point Operations / Eric Goubault -- Estimating the Impact of Scalable Pointer Analysis on Optimization / Manuvir Das, Ben Liblit, Manuel Fahndrich, Jakob Rehof -- Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses / Donglin Liang, Mary Jean Harrold -- Parametric Optimization of Open Real-Time Systems / Farn Wang, Hsu-Chun Yen -- Embedding Chaos / Natalia Sidorova, Martin Steffen -- Analyzing Fair Parametric Extended Automata / Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu -- Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking / Roberto Giacobazzi, Elisa Quintarelli -- Language-Based Security: What's Needed and Why / Fred Schneider -- A Behavioral Module System for the Pi-Calculus / Sriram K. Rajamani, Jakob Rehof -- An Abstract Interpretation Framework for Analysing Mobile Ambients / Francesca Levi, Sergio Maffeis -- Abstract Interpretation-Based Static Analysis of Mobile Ambients / Jerome Feret -- Static Analysis and Software Assurance / David Wagner -- A Type and Effect Analysis of Security Protocols / Andrew D. Gordon, Alan Jeffrey -- Abstracting Cryptographic Protocols by Prolog Rules / Bruno Blanchet -- Security-Typed Languages and Distributed Computation / Andrew Myers
- Subject(s)
- ISBN
- 9783540477648
- Note
- Description based on print version record.
AVAILABLE ONLINE TO AUTHORIZED PSU USERS. - Bibliography Note
- Includes bibliographical references and index.
- Reproduction Note
- Electronic reproduction. Berlin : Springer, 2001. Mode of access: World Wide Web. Available via SpringerLink.
View MARC record | catkey: 4570194