Granted Patent
Utility
US 5,987,252 · App. 08/932,575
Method and apparatus for statically analyzing a computer program for data dependencies
Inventors:
K. Rustan M. Leino, Mark David Lillibridge, Raymond Stata
Patented Case
View Patent ↗
Granted: Nov 16, 1999
Filed: Sep 19, 1997
Inventors
K. Rustan M. Leino
Mark David Lillibridge
Raymond Stata
Assignee (at issue)
Digital Equipment Corporation
This patent predates the USPTO's electronic file wrapper — prosecution documents from this era exist only in the Patent Office's paper records. A certified copy of the file history can be ordered from the USPTO's paper archives.