An algorithm of generalization in positive supercompilation

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original languageEnglish
Title of host publicationLogic Programming: Proceedings of the 1995 International Symposium
EditorsJohn W. Lloyd
PublisherMIT Press
Publication date1995
Pages465-479
ISBN (Print)0-262-62099-5
Publication statusPublished - 1995

ID: 177366370