Static Analysis

DOI10.1007/b99688zbMath1104.68414OpenAlexW4291238798MaRDI QIDQ5466562

Sumit Gulwani, George C. Necula

Publication date: 24 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b99688

zbMATH Keywords

abstract interpretationglobal value numberingHerbrand equivalencesuninterpreted functions

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Combining Model Checking and Data-Flow Analysis ⋮ A formally verified compiler back-end ⋮ Inter-procedural Two-Variable Herbrand Equalities ⋮ Upper Adjoints for Fast Inter-procedural Variable Equalities ⋮ Invariant Checking for Programs with Procedure Calls ⋮ Context unification with one context variable

This page was built for publication: Static Analysis