![Abstract interpretation / Mathematical logic / Algorithm / Partial evaluation / Programming language / Principles of Programming Languages / Logic programming / Logic / Scientific modelling / Science / Software engineering / Computing Abstract interpretation / Mathematical logic / Algorithm / Partial evaluation / Programming language / Principles of Programming Languages / Logic programming / Logic / Scientific modelling / Science / Software engineering / Computing](https://www.pdfsearch.io/img/2796630e7c9ea3a6048ca341cb326f18.jpg)
| Document Date: 2005-12-09 05:06:12 Open Document File Size: 50,29 KBShare Result on Facebook
City M. Hermenegildo / Madrid / Puebla / New York / / Company Information Society Technologies / Emerging Technologies / ACM Press / / / Facility Prentice Hall / Technical University of Madrid / / IndustryTerm on-line specialization / on-line program specialization / / Organization School of Computer Science / Spanish Ministry of Science and Education / Technical University of Madrid / European Commission / / Person Manuel Hermenegildo / / Position Prince / Asturias Chair in Information Science and Technology / Unified Lattice Model for Static Analysis / / ProvinceOrState New Mexico / New York / /
SocialTag |