scientific article; zbMATH DE number 1497845

zbMath0966.68030MaRDI QIDQ4499274

Fergus Henderson, Zoltan Somogyi

Publication date: 5 March 2001

Full work available at URL: http://www.elsevier.com/gej-ng/31/29/23/55/25/show/Products/notes/index.htt#005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

mercurydebugger

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

A Framework for Interpreting Traces of Functional Logic Computations

Uses Software

• Mercury

Cites Work

• The execution algorithm of mercury, an efficient purely declarative logic programming language
• Tracing Prolog programs by source instrumentation is efficient enough
• Unnamed Item

This page was built for publication: