Technical reports
A study on abstract interpretation and “validating microcode algebraically”
October 1986, 22 pages
DOI: 10.48456/tr-97
Abstract
This report attempts to perfrom two roles: the first part aims to give a state-of-the-art introduction to abstract interpretation with as little mathematics as possible. The question of the ‘best’ meta-language for abstract interpretation is, however, left open. The second part gives a tutorial introduction to an application of abstract interpretation based on the relational style of Mycroft and Jones (1985). This report does not claim to have introduced any new techniques, but rather aims to make the existing literature understandable to a wider audience.
Full text
PDF (1.2 MB)
BibTeX record
@TechReport{UCAM-CL-TR-97, author = {Mycroft, Alan}, title = {{A study on abstract interpretation and ``validating microcode algebraically''}}, year = 1986, month = oct, url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-97.pdf}, institution = {University of Cambridge, Computer Laboratory}, doi = {10.48456/tr-97}, number = {UCAM-CL-TR-97} }