Browsing by Subject "Abstract interpretation"
Now showing items 1-1 of 1
-
Space cost analysis using sized types
(University of St Andrews, 2008-11) - ThesisProgramming resource-sensitive systems, such as real-time embedded systems, requires guaranteeing both the functional correctness of computations and also that time and space usage fits within constraints imposed by hardware ...