Abstract interpretation using domain theory

Author(s)

Bibliographic Information

Abstract interpretation using domain theory

by Flemming Nielson

University of Edinburgh, Department of Computer Science, 1984

Available at  / 2 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. 320-324)

Author's thesis (Ph.D.)--University of Edinbungh, 1984 (CST-31-84)

Details

  • NCID
    BA26371125
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Edinburgh
  • Pages/Volumes
    vi, 328 p.
  • Size
    21 cm
Page Top