wamcc

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