When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICLP.2011.251
URN: urn:nbn:de:0030-drops-31828
Go to the corresponding LIPIcs Volume Portal

Bone, Paul

Automatic Parallelism in Mercury

Document 1.pdf (251 KB)


Our project is concerned with the automatic parallelization of Mercury programs. Mercury is a purely-declarative logic programming language, this makes it easy to determine whether a set of computations may be performed in parallel with one-anther. However, the problem of how to determine which computations should be executed in parallel in order to make the program perform optimally is unsolved. Therefore, our work concentrates on building a profiler-feedback automatic parallelization system for Mercury that creates programs with very good parallel performance with as little help from the programmer as possible.

BibTeX - Entry

  author =	{Paul Bone},
  title =	{{Automatic Parallelism in Mercury}},
  booktitle =	{Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) },
  pages =	{251--254},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-31-6},
  ISSN =	{1868-8969},
  year =	{2011},
  volume =	{11},
  editor =	{John P. Gallagher and Michael Gelfond},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-31828},
  doi =		{},
  annote =	{Keywords: Program Optimization, Automatic Parallelism, Mercury}

Keywords: Program Optimization, Automatic Parallelism, Mercury
Seminar: Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)
Issue Date: 2011
Date of publication: 27.06.2011

DROPS-Home | Fulltext Search | Imprint Published by LZI