scientific article
From MaRDI portal
Publication:2763389
zbMath0977.68818MaRDI QIDQ2763389
Malcolm Wallace, Colin Runciman, Olaf Chitil
Publication date: 15 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2011/20110176
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Computing methodologies and applications (68U99)
Related Items (9)
Dynamic slicing of lazy functional programs based on redex trails ⋮ Backward Trace Slicing for Rewriting Logic Theories ⋮ Freja ⋮ Hat ⋮ Hood ⋮ Specialisation of Higher-Order Functions for Debugging ⋮ Structure and Properties of Traces for Functional Programs ⋮ Reporting Failures in Functional Logic Programs ⋮ A Framework for Interpreting Traces of Functional Logic Computations
Uses Software
This page was built for publication:
