Abstract interpretation using domain theory.
dc.contributor.author | Flemming, Nielson | |
dc.date.accessioned | 2013-06-26T14:01:11Z | |
dc.date.available | 2013-06-26T14:01:11Z | |
dc.date.issued | 1984 | |
dc.identifier.other | 350060 | |
dc.identifier.uri | http://hdl.handle.net/1842/7298 | |
dc.language.iso | eng | |
dc.publisher | University of Edinburgh | |
dc.subject | Computer | |
dc.subject | software | |
dc.title | Abstract interpretation using domain theory. | |
dc.type.qualificationname | PhD Doctor of Philosophy |