Generalization in hierarchies of online program specialization systems

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Standard

Generalization in hierarchies of online program specialization systems. / Glück, Robert; Hatcliff, John; Jørgensen, Jesper.

Logic-Based Program Synthesis and Transformation. Proceedings. red. / Pierre Flener. Springer Verlag, 1999. s. 179-198 (Lecture notes in computer science, Bind 1559).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Harvard

Glück, R, Hatcliff, J & Jørgensen, J 1999, Generalization in hierarchies of online program specialization systems. i P Flener (red.), Logic-Based Program Synthesis and Transformation. Proceedings. Springer Verlag, Lecture notes in computer science, bind 1559, s. 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. I P. Flener (red.), Logic-Based Program Synthesis and Transformation. Proceedings (s. 179-198). Springer Verlag. Lecture notes in computer science Bind 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. I Flener P, red., Logic-Based Program Synthesis and Transformation. Proceedings. Springer Verlag. 1999. s. 179-198. (Lecture notes in computer science, Bind 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. red. / Pierre Flener. Springer Verlag, 1999. s. 179-198 (Lecture notes in computer science, Bind 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 -

ID: 177361224