Abstract Interpretation with Specialized Definitions Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3 - Logic programming - Document - PDFSEARCH.IO

First Page	Meta Content
	Abstract Interpretation with Specialized Definitions Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3 Add to Reading List Document Date: 2006-07-05 14:23:02 Open Document File Size: 240,55 KB Share Result on Facebook City Madrid / / / IndustryTerm generic algorithm / point state-of-the-art algorithms / / Organization School of Computer Science / / Position CPA / head / abstract interpreter / / ProvinceOrState New Mexico / Alaska / Arkansas / / SportsEvent formula 1 / / Technology 4.1 Abstract Partial Deduction Algorithm / APD algorithm / APD algorithms / advantages w.r.t. existing APD algorithms / analysis algorithm / 8 Algorithm / / SocialTag Logic programming Rules of inference Automated theorem proving Theoretical computer science SLD resolution Abstraction Function Interpretation Algorithm Mathematics

Abstract Interpretation with Specialized Definitions Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3Add to Reading List