wamcc
From MaRDI portal
Software:18617
swMATH6519MaRDI QIDQ18617FDOQ18617
Author name not available (Why is that?)
Cited In (11)
- 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?)
- Compiling constraints in clp(FD)
- Compilation of Interaction Nets
- 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?)
- Description and Optimization of Abstract Machines in a Dialect of Prolog
This page was built for software: wamcc
