Back to Results
First PageMeta Content
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


Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a
Add to Reading List

Document Date: 2005-07-26 16:47:43

Open Document

File Size: 270,92 KB

Share 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