TACHYON : customizable program analysis via generic abstract interpretation
Name
42648366-MIT.pdf
Description
Full printable version
Size
38.92 MB
Format
Adobe PDF
Checksum (MD5)
426dc1751d6d2c11074f427e5d5c4cb1
Author(s)
Osgood, Nathaniel David
Advisor(s)
Stephen A. Ward.
Alternative Title
Customizable program analysis via generic abstract interpretation
Date Issued
1999
Publisher
Massachusetts Institute of Technology
Description
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.
Includes bibliographical references (p. 419-420).
Subjects
Electrical Engineering and Computer Science
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
M.I.T. theses are protected by
copyright. They may be viewed from this source for any purpose, but
reproduction or distribution in any format is prohibited without written
permission. See provided URL for inquiries about permission.
copyright. They may be viewed from this source for any purpose, but
reproduction or distribution in any format is prohibited without written
permission. See provided URL for inquiries about permission.
Persistent DSpace Link
