Dataset - CKAN

Abstract Acceleration in Linear relation analysis (extended version)

Linear relation analysis is a classical abstract interpretation based on an over-approximation of reachable numerical states of a program by convex polyhedra. Since it...
- HTML

You can also access this registry using the API (see API Docs).