Search Results - "Abstract Interpretation 1. MODULAR LOGIC PROGRAMMING"

Optimizing Modular Logic Languages

Authors: Michele Bugliesi Anna Ciampolini Evelina Lamma et al.

Contributors: Michele Bugliesi Anna Ciampolini Evelina Lamma et al.

Source: http://www.dsi.unive.it/~michele/Papers/cs98.pdf.

Subject Terms: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, I.2.2 [Artificial Intelligence, Automatic Programming—Program Transformation Additional Key Words and Phrases, Partial Deduction, Abstract Interpretation 1. MODULAR LOGIC PROGRAMMING

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.199; http://www.dsi.unive.it/~michele/Papers/cs98.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.199
http://www.dsi.unive.it/~michele/Papers/cs98.pdf