Automatically inferring properties of computer programs

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.

Bibliographic Details
Main Author:	Givan, Robert Lawrence
Other Authors:	David Allen McAllester.
Format:	Others
Language:	English
Published:	Massachusetts Institute of Technology 2005
Subjects:	Electrical Engineering and Computer Science
Online Access:	http://hdl.handle.net/1721.1/11051

id	ndltd-MIT-oai-dspace.mit.edu-1721.1-11051
record_format	oai_dc
spelling	ndltd-MIT-oai-dspace.mit.edu-1721.1-110512019-05-02T16:09:06Z 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
collection	NDLTD
language	English
format	Others
sources	NDLTD
topic	Electrical Engineering and Computer Science
spellingShingle	Electrical Engineering and Computer Science Givan, Robert Lawrence Automatically inferring properties of computer programs
description	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.
author2	David Allen McAllester.
author_facet	David Allen McAllester. Givan, Robert Lawrence
author	Givan, Robert Lawrence
author_sort	Givan, Robert Lawrence
title	Automatically inferring properties of computer programs
title_short	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_sort	automatically inferring properties of computer programs
publisher	Massachusetts Institute of Technology
publishDate	2005
url	http://hdl.handle.net/1721.1/11051
work_keys_str_mv	AT givanrobertlawrence automaticallyinferringpropertiesofcomputerprograms
_version_	1719035179068030976

Automatically inferring properties of computer programs

Similar Items