Bhattacharya, Sukriti <1980>
(Università Ca' Foscari Venezia, 2011-03-03)
Interpretation theory formalizes the conservative approximation of the
semantics of hardware and software computer systems. Abstract Interpretation approximates semantics according to some property of choice, this is ...