Policy-directed code safety
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/86424 |
| _version_ | 1826189332264779776 |
|---|---|
| author | Evans, David Elliot, 1971- |
| author2 | John V. Guttag. |
| author_facet | John V. Guttag. Evans, David Elliot, 1971- |
| author_sort | Evans, David Elliot, 1971- |
| collection | MIT |
| description | Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000. |
| first_indexed | 2024-09-23T08:13:24Z |
| format | Thesis |
| id | mit-1721.1/86424 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T08:13:24Z |
| publishDate | 2014 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/864242019-04-09T17:23:53Z Policy-directed code safety Evans, David Elliot, 1971- John V. Guttag. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Department 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, 2000. Includes bibliographical references (p. 133-137). by David E. Evans. Ph.D. 2014-05-07T16:40:16Z 2014-05-07T16:40:16Z 2000 2000 Thesis http://hdl.handle.net/1721.1/86424 45147379 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 137 p. application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science. Evans, David Elliot, 1971- Policy-directed code safety |
| title | Policy-directed code safety |
| title_full | Policy-directed code safety |
| title_fullStr | Policy-directed code safety |
| title_full_unstemmed | Policy-directed code safety |
| title_short | Policy-directed code safety |
| title_sort | policy directed code safety |
| topic | Electrical Engineering and Computer Science. |
| url | http://hdl.handle.net/1721.1/86424 |
| work_keys_str_mv | AT evansdavidelliot1971 policydirectedcodesafety |