Cited in
(16)- scientific article; zbMATH DE number 1950443 (Why is no real title available?)
- On the implementation of GNU Prolog
- Minimizing the overheads of dependent AND-parallelism
- scientific article; zbMATH DE number 1950444 (Why is no real title available?)
- Compiling constraints in clp(FD)
- Description and optimization of abstract machines in a dialect of Prolog
- HYPROLOG
- Prolog
- Mercury
- MPINE
- A new term representation method for prolog
- VeriFly
- The execution algorithm of mercury, an efficient purely declarative logic programming language
- Towards Description and Optimization of Abstract Machines in an Extension of Prolog
- scientific article; zbMATH DE number 2087569 (Why is no real title available?)
- Compilation of interaction nets
This page was built for software: wamcc
