Upper Adjoints for Fast Inter-procedural Variable Equalities

DOI10.1007/978-3-540-78739-6_15zbMath1133.68321OpenAlexW1555897826MaRDI QIDQ5458395

Helmut Seidl, Markus Müller-Olm

Publication date: 11 April 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78739-6_15

Mathematics Subject Classification ID

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

Related Items (2)

Inter-procedural Two-Variable Herbrand Equalities ⋮ Region Analysis for Race Detection

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Precise interprocedural analysis through linear algebra
• Precise interprocedural dataflow analysis with applications to constant propagation
• Programming Languages and Systems
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Upper Adjoints for Fast Inter-procedural Variable Equalities