Abstract Interpretation with Specialized Definitions
From MaRDI portal
Publication:3613381
DOI10.1007/11823230_8zbMath1225.68076OpenAlexW1884591353MaRDI QIDQ3613381
Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
Publication date: 12 March 2009
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: http://oa.upm.es/14348/
Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Incremental Analysis of Logic Programs with Assertions and Open Predicates ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis ⋮ Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation
Uses Software
This page was built for publication: Abstract Interpretation with Specialized Definitions
