swMATH6519MaRDI QIDQ18617FDOQ18617
Author name not available (Why is that?)
Official website: http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/wamcc/0.html
Cited In (16)
- VeriFly
- Title not available (Why is that?)
- On the implementation of GNU Prolog
- Minimizing the overheads of dependent AND-parallelism
- Title not available (Why is that?)
- Description and optimization of abstract machines in a dialect of Prolog
- Compiling constraints in clp(FD)
- HYPROLOG
- Prolog
- Mercury
- MPINE
- A new term representation method for prolog
- The execution algorithm of mercury, an efficient purely declarative logic programming language
- Towards Description and Optimization of Abstract Machines in an Extension of Prolog
- Title not available (Why is that?)
- Compilation of interaction nets
This page was built for software: wamcc
