Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance

B Martens, J Gallagher

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Translated title of the contributionEnsuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance
Original languageEnglish
Title of host publicationUnknown
PublisherMassachusetts Institute of Technology (MIT) Press
Pages597 - 614
Number of pages17
ISBN (Print)0262691779
Publication statusPublished - 1995

Bibliographical note

Conference Proceedings/Title of Journal: Proceedings of the Twelfth International Conference on Logic Programming, Tokyo

Cite this