An algorithm of generalization in positive supercompilation

Morten Heine Sørensen, Robert Glück

Original language	English
Title of host publication	Logic Programming: Proceedings of the 1995 International Symposium
Editors	John W. Lloyd
Publisher	MIT Press
Publication date	1995
Pages	465-479
ISBN (Print)	0-262-62099-5
Publication status	Published - 1995

Cite this

@inproceedings{cbf05b855ee84fd79ab927ec31932e90,

title = "An algorithm of generalization in positive supercompilation",

author = "S{\o}rensen, {Morten Heine} and Robert Gl{\"u}ck",

year = "1995",

language = "English",

isbn = "0-262-62099-5",

pages = "465--479",

editor = "Lloyd, {John W.}",

booktitle = "Logic Programming: Proceedings of the 1995 International Symposium",

publisher = "MIT Press",

address = "United States",

}