Termination analysis for Mercury
Lecture notes in computer science1997pp. 157–171
Citations Over TimeTop 10% of 1997 papers
Related Papers
- Operational refinement for compiler correctness(2012)
- → Verified Density Compilation for a Probabilistic Programming Language(2023)6 cited
- A Prolog Compiler for the PLM(1984)
- → Towards a framework for the general intensional programming compiler in the GIPSY(2004)13 cited
- → Development of C-Prolog compiler(1987)