Back to Results
First PageMeta Content
Abstract interpretation / Mathematical logic / Algorithm / Partial evaluation / Programming language / Principles of Programming Languages / Logic programming / Logic / Scientific modelling / Science / Software engineering / Computing


A Generic Framework for the Analysis and Specialization of Logic Programs? Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3
Add to Reading List

Document Date: 2005-12-09 05:06:12

Open Document

File Size: 50,29 KB

Share 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