1 option
Static Analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings / edited by Manuel Hermenegildo, German Puebla.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2477.
- Lecture Notes in Computer Science, 0302-9743 ; 2477
- Language:
- English
- Subjects (All):
- Database management.
- Programming languages (Electronic computers).
- Computer logic.
- Software engineering.
- Logic, Symbolic and mathematical.
- Computer programming.
- Database Management.
- Programming Languages, Compilers, Interpreters.
- Logics and Meanings of Programs.
- Software Engineering.
- Mathematical Logic and Formal Languages.
- Programming Techniques.
- Local Subjects:
- Database Management.
- Programming Languages, Compilers, Interpreters.
- Logics and Meanings of Programs.
- Software Engineering.
- Mathematical Logic and Formal Languages.
- Programming Techniques.
- Physical Description:
- 1 online resource (XII, 536 pages).
- Edition:
- First edition 2002.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-45789-3
- 9783540457893
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.