Program Analysis Using Weighted Pushdown Systems

DOI10.1007/978-3-540-77050-3_4zbMath1136.68019OpenAlexW1589089428MaRDI QIDQ5458821

Nicholas Kidd, Akash Lal, Thomas W. Reps

Publication date: 24 April 2008

Published in: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-77050-3_4

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (9)

Model Checking Procedural Programs ⋮ Summarization for termination: No return! ⋮ Sound Bit-Precise Numerical Domains ⋮ Solving Multiple Dataflow Queries Using WPDSs ⋮ Faster Algorithms for Weighted Recursive State Machines ⋮ Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains ⋮ Optimally Resilient Strategies in Pushdown Safety Games ⋮ A new abstraction framework for affine transformers ⋮ Average Stack Cost of Büchi Pushdown Automata

Uses Software

• Banshee
• MAGIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Precise interprocedural dataflow analysis with applications to constant propagation
• Affine relationships among variables of a program
• Monotone data flow analysis frameworks
• PAG -- an efficient program analyzer generator
• Weighted pushdown systems and their application to interprocedural dataflow analysis
• A generic approach to the static analysis of concurrent programs with procedures
• Precise interprocedural analysis through linear algebra
• Graph-Based Algorithms for Boolean Function Manipulation
• Precise interprocedural dataflow analysis with applications to constant propagation
• Systematic design of program transformation frameworks by abstract interpretation
• Precise interprocedural analysis using random interpretation
• Compiler Construction
• Programming Languages and Systems
• Interprocedural Analysis of Concurrent Programs Under a Context Bound
• Programming Languages and Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• Computer Aided Verification
• Improving Pushdown System Model Checking
• Programming Languages and Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Reachability analysis of pushdown automata: Application to model-checking

This page was built for publication: Program Analysis Using Weighted Pushdown Systems