Constraint-based mode analysis of Mercury

David Overton; Zoltan Somogyi; Peter J Stuckey

Constraint-based mode analysis of Mercury

David Overton, Zoltan Somogyi, Peter J Stuckey

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

Original language	English
Title of host publication	Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Editors	C Kirchner
Place of Publication	New York USA
Publisher	Association for Computing Machinery (ACM)
Pages	109 - 120
Number of pages	12
ISBN (Print)	1581135289
Publication status	Published - 2002
Event	International Conference on Principles and Practice of Declarative Programming 2002 - Pittsburgh PA USA, New York USA Duration: 1 Jan 2002 → …

Conference

Conference	International Conference on Principles and Practice of Declarative Programming 2002
City	New York USA
Period	1/01/02 → …

Cite this

@inproceedings{36ca8d43ef7a473cb6a563b5ae5bb7c8,

title = "Constraint-based mode analysis of Mercury",

author = "David Overton and Zoltan Somogyi and Stuckey, \{Peter J\}",

year = "2002",

language = "English",

isbn = "1581135289",

pages = "109 -- 120",

editor = "C Kirchner",

booktitle = "Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming",

publisher = "Association for Computing Machinery (ACM)",

address = "United States of America",

note = "International Conference on Principles and Practice of Declarative Programming 2002 ; Conference date: 01-01-2002",

}

Overton, D, Somogyi, Z & Stuckey, PJ 2002, Constraint-based mode analysis of Mercury. in C Kirchner (ed.), Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. Association for Computing Machinery (ACM), New York USA, pp. 109 - 120, International Conference on Principles and Practice of Declarative Programming 2002, New York USA, 1/01/02.

Constraint-based mode analysis of Mercury. / Overton, David; Somogyi, Zoltan; Stuckey, Peter J.
Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. ed. / C Kirchner. New York USA: Association for Computing Machinery (ACM), 2002. p. 109 - 120.

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

TY - GEN

T1 - Constraint-based mode analysis of Mercury

AU - Overton, David

AU - Somogyi, Zoltan

AU - Stuckey, Peter J

PY - 2002

Y1 - 2002

M3 - Conference Paper

SN - 1581135289

SP - 109

EP - 120

BT - Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

A2 - Kirchner, C

PB - Association for Computing Machinery (ACM)

CY - New York USA

T2 - International Conference on Principles and Practice of Declarative Programming 2002

Y2 - 1 January 2002

ER -