![Computing / Data types / Type theory / Procedural programming languages / Polyspace / Abstract interpretation / Static program analysis / Type system / Aliasing / Program analysis / Software engineering / Programming language theory Computing / Data types / Type theory / Procedural programming languages / Polyspace / Abstract interpretation / Static program analysis / Type system / Aliasing / Program analysis / Software engineering / Programming language theory](https://www.pdfsearch.io/img/5ced633e7b1244f07edc7b2c18249e50.jpg)
| Document Date: 2010-07-16 02:44:55 Open Document File Size: 301,94 KBShare Result on Facebook
Company Desktop PolySpace Technologies / Ericsson / PolySpace Verifier/Desktop / / Country Sweden / / / Event Product Issues / / IndustryTerm suggested technical solutions / static analysis tools / market leading static analysis tools / software metrics / non-static type systems / machinery / software vulnerabilities / software runtime errors / telecommunication systems / Software defects / / Organization Motor Software Reliability Association / Department of Computer / / Person Ulf Nilsson / Emanuelsson Nilsson / / Position type qualifier / programmer / / Product code / / ProgrammingLanguage Ada / Java / C / C++ / / Technology Java / underlying supporting technology / shared memory / / URL http /
SocialTag |