Determinism Analysis in the Mercury Compiler

@inproceedings{Somogyi1996DeterminismAI,
  title={Determinism Analysis in the Mercury Compiler},
  author={Zoltan Somogyi and Thomas Conwayffjh},
  year={1996}
}
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.

Citations

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

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…