First Page | Meta Content | |
---|---|---|
![]() | Document Date: 1999-01-04 14:36:58Open Document File Size: 161,21 KBShare Result on FacebookCityPalo Alto / /CompanySun Microsystems Laboratories / Digital Equipment Corporation / Compaq Computer Corporation / DRI/McGraw / / /FacilitySystems Research Center of Compaq Computer Corporation / /IndustryTermsoftware 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 / /OrganizationExtended Static Checking David L. Detlefs K. Rustan M. Leino Greg Nelson James B. Saxe Systems Research Center / Systems Research Center / /PersonJ. Robert Oppenheimer / Jim Morris / James B. Saxe / David L. Detlefs / Greg Nelson / Nelson James / /PositionAuthor / advocate the strategy / staff engineer / programmer / /ProgrammingLanguageAda / Java / PL/I / Oberon / Modula-3 / /ProvinceOrStateCalifornia / /Technologyobject-oriented programming / Java / PL/I / technology of program verification / /URLhttp /SocialTag |