Not necessarily closed convex polyhedra and the double description method

DOI10.1007/s00165-005-0061-1zbMath1101.68674MaRDI QIDQ2576576

Enea Zaffanella, Roberto Bagnara, Patricia M. Hill

Publication date: 13 December 2005

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-005-0061-1

zbMATH Keywords

Abstract interpretation; Convex polyhedra; Double description; Data-flow analysis; Strict linear inequalities

Mathematics Subject Classification ID

68U05: Computer graphics; computational geometry (digital and algorithmic aspects)

68Q60: Specification and verification (program logics, model checking, etc.)

Uses Software

• HyTech