Rapid Type Analysis: Patents - IBM Research


			PATENTS

Introduction
Members
Publications
Presentations
Patents

Other projects in

Programming Languages
& Software Engineering

Related Disciplines

Chemistry
Computer Science
Electrical Engineering
Materials Science
Mathematical Sciences
Physics

	Removal of Unreachable Methods in Object-oriented Applications Based on Program Interface Analysis United States Patent number 6654951, issued 11 November 2003. D. Bacon, C. Laffra, P. Sweeney, and F. Tip Docket number YO998-511, filed December 14, 1998.
	Rapid Type Analysis for incomplete programs using interface specifications.
	Method for Determining Reachable Methods in Object-Oriented Applications that use Class Libraries United States Patent number 6463581, issued 8 October 2002. D. Bacon, C. Laffra, P. Sweeney, and F. Tip Docket number YO998-511, filed December 14, 1998.
	Rapid Type Analysis for incomplete programs.
	Object-Oriented Dispatch Optimization D. Bacon, M. Wegman, and K. Zadeck United States Patent number 6041179, issued 21 March 2000. IBM Docket number YO995-073, filed 3 October 1996.
	Method for converting virtual to statically-dispatched calls in object oriented languages. This technique is generally known as rapid type analysis (RTA) and is described in a paper and in David Bacon's Ph.D. Thesis.