(2012): Volumes 7200–7249 - Index of files in - University of Utah

REFERENCES 107
Dandois:2012:CLP
[498] Céline Dandois and Wim Vanhoof. Clones in logic programs and how
to detect them. Lecture Notes in Computer Science, 7225:90–105,
2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/chapter/10.1007/978-3-
642-32211-2_7/.
Fioravanti:2012:URR
[499] Fabio Fioravanti and Alberto Pettorossi. Using real relaxations during
program specialization. Lecture Notes in Computer Science, 7225:
106–122, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349
(electronic). URL http://link.springer.com/chapter/10.1007/978-
3-642-32211-2_8/.
Hidaka:2012:MDO
[500] Soichiro Hidaka and Zhenjiang Hu. Marker-directed optimization of Un-
CAL graph transformations. Lecture Notes in Computer Science, 7225:
123–138, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349
(electronic). URL http://link.springer.com/chapter/10.1007/978-
3-642-32211-2_9/.
Morales:2012:MEM
[501] José F. Morales and Manuel V. Hermenegildo. Modular extensions for
modular (logic) languages. Lecture Notes in Computer Science, 7225:
139–154, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349
(electronic). URL http://link.springer.com/chapter/10.1007/978-
3-642-32211-2_10/.
Moura:2012:MPS
[502] Paulo Moura. Meta-predicate semantics. Lecture Notes in Computer Science,
7225:155–172, 2012. CODEN LNCSD9. ISSN 0302-9743 (print),
1611-3349 (electronic). URL http://link.springer.com/chapter/10.
1007/978-3-642-32211-2_11/.
Fernandez:2012:SLG
[503] Maribel Fernández and Hélène Kirchner. A strategy language for
graph rewriting. Lecture Notes in Computer Science, 7225:173–188,
2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/chapter/10.1007/978-3-
642-32211-2_12/.