Back to Results
First PageMeta Content
Software development / Extended static checking / Program analysis / Formal verification / Type system / ESC/Java / Programming language / Modula-3 / Software bug / Software engineering / Computing / Formal methods


Document Date: 1999-01-04 14:36:58

Open Document

File Size: 161,21 KB

Share Result on Facebook

City

Palo Alto / /

Company

Sun Microsystems Laboratories / Digital Equipment Corporation / Compaq Computer Corporation / DRI/McGraw / /

/

Facility

Systems Research Center of Compaq Computer Corporation / /

IndustryTerm

software productivity / scaleable systems / lint tool / mature systems / prototype systems / software prototypes / software problem / personal computing / software crisis / software industry / computing / internet appliances / software disasters / daily tools / /

Organization

Extended Static Checking David L. Detlefs K. Rustan M. Leino Greg Nelson James B. Saxe Systems Research Center / Systems Research Center / /

Person

J. Robert Oppenheimer / Jim Morris / James B. Saxe / David L. Detlefs / Greg Nelson / Nelson James / /

Position

Author / advocate the strategy / staff engineer / programmer / /

ProgrammingLanguage

Ada / Java / PL/I / Oberon / Modula-3 / /

ProvinceOrState

California / /

Technology

object-oriented programming / Java / PL/I / technology of program verification / /

URL

http /

SocialTag