scientific article; zbMATH DE number 1407672
From MaRDI portal
Publication:4940927
Recommendations
Cited in
(24)- Description of input and output data of programs fragments
- Interconvertibility of a class of set constraints and context-free-language reachability
- Abstract similarity analysis
- Program analysis tools
- Reachability-based acyclicity analysis by abstract interpretation
- Path querying on acyclic graphs using Boolean grammars
- Tight bounds for reachability problems on one-counter and pushdown systems
- Finding fix locations for CFL-reachability analyses via minimum cuts
- Source-tracking unification
- Reachability analysis of program variables
- Interprocedural reachability for flat integer programs
- Refinement-based CFG reconstruction from unstructured programs
- scientific article; zbMATH DE number 3885296 (Why is no real title available?)
- scientific article; zbMATH DE number 4086991 (Why is no real title available?)
- On edge addition rewrite systems and their relevance to program analysis
- A Computational Interpretation of Context-Free Expressions
- Paths vs. trees in set-based program analysis
- Iterative-free program analysis
- XML graphs in program analysis
- Context-sensitive data-dependence analysis via linear conjunctive language reachability
- Computational Science - ICCS 2004
- scientific article; zbMATH DE number 2243645 (Why is no real title available?)
- Reachability Analysis of Procedural Programs with Affine Integer Arithmetic
- TFA: an efficient and precise virtual method call resolution for Java
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4940927)
