![Computing / Formal methods / Logic in computer science / Program analysis / Abstract interpretation / Formal verification / Abstraction / Type system / Type safety / Software engineering / Programming language theory / Type theory Computing / Formal methods / Logic in computer science / Program analysis / Abstract interpretation / Formal verification / Abstraction / Type system / Type safety / Software engineering / Programming language theory / Type theory](https://www.pdfsearch.io/img/cd131806e5cd6b123cfca89c8404516f.jpg)
| Document Date: 2009-07-09 09:15:07 Open Document File Size: 372,09 KBShare Result on Facebook
City Madrid / / Company Oracle / SP / / Country Spain / / Facility Complutense University of Madrid / Germ´an PUEBLA Technical University of Madrid / / IndustryTerm semantic operator / certificate infrastructure / fundamental tool / / OperatingSystem UNIX system / / Organization Complutense University of Madrid / Germ´an PUEBLA Technical University of Madrid / / Person ALBERT DSIC / Carrying Code / / Position Model / General / producer / Domain VCGen OK PRODUCER / abstract interpreter / specialized abstract interpreter / / ProgrammingLanguage D / Prolog / / ProvinceOrState New Mexico / / PublishedMedium the Ciao / / Technology alpha / UNIX system / s/n / ASCII / /
SocialTag |