Standard
Generalization in hierarchies of online program specialization systems. / Glück, Robert; Hatcliff, John; Jørgensen, Jesper.
Logic-Based Program Synthesis and Transformation. Proceedings. ed. / Pierre Flener. Springer Verlag, 1999. p. 179-198 (Lecture notes in computer science, Vol. 1559).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Glück, R, Hatcliff, J & Jørgensen, J 1999,
Generalization in hierarchies of online program specialization systems. in P Flener (ed.),
Logic-Based Program Synthesis and Transformation. Proceedings. Springer Verlag, Lecture notes in computer science, vol. 1559, pp. 179-198.
https://doi.org/10.1007/3-540-48958-4_10
APA
Glück, R., Hatcliff, J., & Jørgensen, J. (1999).
Generalization in hierarchies of online program specialization systems. In P. Flener (Ed.),
Logic-Based Program Synthesis and Transformation. Proceedings (pp. 179-198). Springer Verlag. Lecture notes in computer science Vol. 1559
https://doi.org/10.1007/3-540-48958-4_10
Vancouver
Glück R, Hatcliff J, Jørgensen J.
Generalization in hierarchies of online program specialization systems. In Flener P, editor, Logic-Based Program Synthesis and Transformation. Proceedings. Springer Verlag. 1999. p. 179-198. (Lecture notes in computer science, Vol. 1559).
https://doi.org/10.1007/3-540-48958-4_10
Author
Glück, Robert ; Hatcliff, John ; Jørgensen, Jesper. / Generalization in hierarchies of online program specialization systems. Logic-Based Program Synthesis and Transformation. Proceedings. editor / Pierre Flener. Springer Verlag, 1999. pp. 179-198 (Lecture notes in computer science, Vol. 1559).
Bibtex
@inproceedings{6217036ac44846c9a581009e5e8c5a9f,
title = "Generalization in hierarchies of online program specialization systems",
author = "Robert Gl{\"u}ck and John Hatcliff and Jesper J{\o}rgensen",
year = "1999",
doi = "10.1007/3-540-48958-4_10",
language = "English",
series = "Lecture notes in computer science",
publisher = "Springer Verlag",
pages = "179--198",
editor = "Pierre Flener",
booktitle = "Logic-Based Program Synthesis and Transformation. Proceedings",
}
RIS
TY - GEN
T1 - Generalization in hierarchies of online program specialization systems
AU - Glück, Robert
AU - Hatcliff, John
AU - Jørgensen, Jesper
PY - 1999
Y1 - 1999
U2 - 10.1007/3-540-48958-4_10
DO - 10.1007/3-540-48958-4_10
M3 - Article in proceedings
T3 - Lecture notes in computer science
SP - 179
EP - 198
BT - Logic-Based Program Synthesis and Transformation. Proceedings
A2 - Flener, Pierre
PB - Springer Verlag
ER -
