wamcc
From MaRDI portal
Software:18617
No author found.
Related Items (11)
On the implementation ofGNU Prolog ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Description and Optimization of Abstract Machines in a Dialect of Prolog ⋮ Unnamed Item ⋮ The execution algorithm of mercury, an efficient purely declarative logic programming language ⋮ Compilation of Interaction Nets ⋮ A new term representation method for prolog ⋮ Towards Description and Optimization of Abstract Machines in an Extension of Prolog ⋮ Minimizing the overheads of dependent AND-parallelism ⋮ Compiling constraints in clp(FD)
This page was built for software: wamcc
