K. Rustan M. Leino

Follow

Person

Sunnyvale, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
System and method for lexing and parsing program annotations
- Patent number 6,353,925
- Issue date Mar 5, 2002
- Compaq Computer Corporation
- Raymond Paul Stata
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for statically analyzing a computer program fo...
- Patent number 5,987,252
- Issue date Nov 16, 1999
- Digital Equipment Corporation
- K. Rustan M. Leino
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Method and apparatus for automatically inferring annotations
- Publication number 20020133806
- Publication date Sep 19, 2002
- Cormac Andrias Flanagan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for automatically inferring annotations for an...
- Publication number 20020112201
- Publication date Aug 15, 2002
- Cormac Andrias Flanagan
- G06 - COMPUTING CALCULATING COUNTING