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)

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

This page was built for software: wamcc