Automatically inferring properties of computer programs
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2005
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/11051 |
| _version_ | 1826204624531488768 |
|---|---|
| author | Givan, Robert Lawrence |
| author2 | David Allen McAllester. |
| author_facet | David Allen McAllester. Givan, Robert Lawrence |
| author_sort | Givan, Robert Lawrence |
| collection | MIT |
| description | Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996. |
| first_indexed | 2024-09-23T12:58:24Z |
| format | Thesis |
| id | mit-1721.1/11051 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T12:58:24Z |
| publishDate | 2005 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/110512019-04-12T09:14:09Z Automatically inferring properties of computer programs Givan, Robert Lawrence David Allen McAllester. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science Electrical Engineering and Computer Science Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996. Includes bibliographical references (p. 97-101). by Robert Lawrence Givan, Jr. Ph.D. 2005-08-18T16:15:21Z 2005-08-18T16:15:21Z 1996 1996 Thesis http://hdl.handle.net/1721.1/11051 35997133 eng 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. http://dspace.mit.edu/handle/1721.1/7582 101 p. 7377022 bytes 7376779 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science Givan, Robert Lawrence Automatically inferring properties of computer programs |
| title | Automatically inferring properties of computer programs |
| title_full | Automatically inferring properties of computer programs |
| title_fullStr | Automatically inferring properties of computer programs |
| title_full_unstemmed | Automatically inferring properties of computer programs |
| title_short | Automatically inferring properties of computer programs |
| title_sort | automatically inferring properties of computer programs |
| topic | Electrical Engineering and Computer Science |
| url | http://hdl.handle.net/1721.1/11051 |
| work_keys_str_mv | AT givanrobertlawrence automaticallyinferringpropertiesofcomputerprograms |