![Contract law / Patrick Cousot / Abstract interpretation / Computer arithmetic / Printf format string / Caron / Implied warranty / Floating point / ALGOL 68 / Software engineering / Computing / Computer programming Contract law / Patrick Cousot / Abstract interpretation / Computer arithmetic / Printf format string / Caron / Implied warranty / Floating point / ALGOL 68 / Software engineering / Computing / Computer programming](https://www.pdfsearch.io/img/8d95063c27d655f5fb3508c4a855e1db.jpg)
| Document Date: 2005-05-14 12:51:08 Open Document File Size: 959,61 KBShare Result on Facebook
City Paris / / Company PROGRAM IS / NEC / Microsoft / P. Cousot Software / HEREBY DISCLAIM / / Currency USD / / Facility Notre-Dame-de-Lorette métro station / / IndustryTerm software validation methods / Manual software validation methods / software licence / open software licence / software teams / software failure / / Organization Complex Computer Systems Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics / Massachusetts Institute of Technology / / Person Patrick Cousot Jerome / / Position driver / huge Text editor / bugs Text editor / / Product scud / Patriot missile / / ProgrammingLanguage C / / Technology Operating system / / URL www.di.ens.fr/~cousot / www.mit.edu/~cousot / /
SocialTag |