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