Generalization in Hierarchies of Online Program Specialization Systems, Lecture Notes in Computer Science, Vol. 1559

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

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

Originalsprog	Engelsk
Titel	Proceedings in Logic-Based Program Synthesis and Transformation
Forlag	Springer
Publikationsdato	1999
Sider	179-198
Status	Udgivet - 1999

Citationsformater

@inbook{d5dd415074c811dbbee902004c4f4f50,

title = "Generalization in Hierarchies of Online Program Specialization Systems, Lecture Notes in Computer Science, Vol. 1559",

author = "Robert Gl{\"u}ck and John Hatcliff and Jesper J{\o}rgensen",

year = "1999",

language = "English",

pages = "179--198",

booktitle = "Proceedings in Logic-Based Program Synthesis and Transformation",

publisher = "Springer",

address = "Switzerland",

}