![Theoretical computer science / Formal methods / Semantics / Abstract interpretation / Formal languages / Model theory / Prolog / Semantics of programming languages / Programming language / Software engineering / Computing / Logic in computer science Theoretical computer science / Formal methods / Semantics / Abstract interpretation / Formal languages / Model theory / Prolog / Semantics of programming languages / Programming language / Software engineering / Computing / Logic in computer science](https://www.pdfsearch.io/img/1a5f939c6e962b0ccb3cc4a7c7b384b7.jpg)
| Document Date: 2005-07-26 16:47:43 Open Document File Size: 270,92 KBShare Result on Facebook
/ Facility Technical University of Madrid / / IndustryTerm optimization tool / fundamental tool / computing / / Organization Department of Computer Science / Technical University of Madrid / / Person Manuel V. Hermenegildo / / Position RT / multivariant abstract interpreter / Definition Sufficient condition RT / PLAI abstract interpreter / / ProgrammingLanguage D / Prolog / L / / Technology object-oriented programming / / URL http /
SocialTag |