Výsledky vyhledávání - "Automatic Programming—program transformation General Terms algorithms"

Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Programs

Autoři: J. Guadalupe Ramos The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: J. Guadalupe Ramos The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf.

Témata: evaluation, program analysis, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms algorithms, performance, theory Keywords narrowing, quasi-termination, offline partial evaluation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4892; http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4892
http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf