wamcc

MaRDI QIDQ18617swMATHFDO

Official website http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/wamcc/0.html

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