Publication:3499221
From MaRDI portal
zbMath1155.68002MaRDI QIDQ3499221
Publication date: 28 May 2008
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68N15: Theory of programming languages
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Exact join detection for convex polyhedra and other numerical abstractions, Speeding up Polyhedral Analysis by Identifying Common Constraints, Generalizing the Template Polyhedral Domain, Splitting the Control Flow with Boolean Flags, Logahedra: A New Weakly Relational Domain
Uses Software