Search Results - "Abstract Interpretation 1. MODULAR LOGIC PROGRAMMING"
-
1
Authors: et al.
Contributors: et al.
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
Nájsť tento článok vo Web of Science