Department of Computer Science and Technology

Technical reports

A study on abstract interpretation and “validating microcode algebraically”

Alan Mycroft

October 1986, 22 pages

DOI: 10.48456/tr-97


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

  author =	 {Mycroft, Alan},
  title = 	 {{A study on abstract interpretation and ``validating
         	   microcode algebraically''}},
  year = 	 1986,
  month = 	 oct,
  url = 	 {},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-97},
  number = 	 {UCAM-CL-TR-97}