Algorithms for finding fixpoints in abstract interpretation
By: Christopher Charles Martin
Contributors: University of London
Published: 1990
Language: eng
Notes: Thesis (doctoral)--University of London, 1990.