Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance

B Martens, J Gallagher

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

Translated title of the contribution	Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance
Original language	English
Title of host publication	Unknown
Publisher	Massachusetts Institute of Technology (MIT) Press
Pages	597 - 614
Number of pages	17
ISBN (Print)	0262691779
Publication status	Published - 1995

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

Access to Document

@inproceedings{1b4ee9e2dfe544af90acc68c79eef0a3,

title = "Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance",

author = "B Martens and J Gallagher",

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

year = "1995",

language = "English",

isbn = "0262691779",

pages = "597 -- 614",

booktitle = "Unknown",

publisher = "Massachusetts Institute of Technology (MIT) Press",

address = "United States",

}

TY - GEN

T1 - Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance

AU - Martens, B

AU - Gallagher, J

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

PY - 1995

Y1 - 1995

M3 - Conference Contribution (Conference Proceeding)

SN - 0262691779

SP - 597

EP - 614

BT - Unknown

PB - Massachusetts Institute of Technology (MIT) Press

ER -