Analysis of the equality relations for the program terms

DOI10.1007/3-540-61739-6_41zbMath1482.68087OpenAlexW2157660637MaRDI QIDQ5030193

P. G. Emelianov

Publication date: 16 February 2022

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61739-6_41

zbMATH Keywords

abstract interpretationsemantic propertyentry stateprogram pointterm equality

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• A fast and effective heuristic for the feedback arc set problem
• The logic-termal equivalence is polynomial-time decidable
• Fast Decision Procedures Based on Congruence Closure
• Abstract interpretation and application to logic programs
• Type analysis of prolog using type graphs
• Systematic design of program transformation frameworks by abstract interpretation
• Abstract Interpretation Frameworks

This page was built for publication: Analysis of the equality relations for the program terms