Determinism Analysis in the Mercury Compiler

  title={Determinism Analysis in the Mercury Compiler},
  author={Zoltan Somogyi and Thomas Conwayffjh},
Mercury is a new purely declarative logic programming language. The Mercury determin-ism system allows programmers to specify which predicates never fail and which predicates succeed at most once. This information allows the compiler to check the program for errors , pinpointing predicates that do not satisfy their declarations. This makes programmers signiicantly more productive and enhances the reliability of their programs. The Mercury compiler also uses determinism information to generate… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 30 extracted citations


Publications referenced by this paper.

Similar Papers

Loading similar papers…