Suchergebnisse - "Automatic Programming—Program Transformation Additional Key Words and Phrases"

Optimizing Modular Logic Languages

Autoren: Michele Bugliesi Anna Ciampolini Evelina Lamma et al.

Weitere Verfasser: Michele Bugliesi Anna Ciampolini Evelina Lamma et al.

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

Schlagwörter: 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

Dateibeschreibung: 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

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