Generalization in hierarchies of online program specialization systems

Robert Glück; John Hatcliff; Jesper Jørgensen

doi:10.1007/3-540-48958-4_10

Generalization in hierarchies of online program specialization systems

Robert Glück, John Hatcliff, Jesper Jørgensen

Datalogisk Institut

Originalsprog	Engelsk
Titel	Logic-Based Program Synthesis and Transformation. Proceedings
Redaktører	Pierre Flener
Forlag	Springer Verlag
Publikationsdato	1999
Sider	179-198
DOI	https://doi.org/10.1007/3-540-48958-4_10
Status	Udgivet - 1999

Navn	Lecture notes in computer science
Vol/bind	1559
ISSN	0302-9743

Adgang til dokumentet

10.1007/3-540-48958-4_10

Citationsformater

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/rapport › Konferencebidrag i proceedings › Forskning › peer review

@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",

}

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 -