Lazy narrowing with simplification

DOI10.1016/S0096-0551(97)00010-6zbMath0899.68023OpenAlexW1995346861MaRDI QIDQ4395684

Michael Hanus

Publication date: 1 November 1998

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0096-0551(97)00010-6

zbMATH Keywords

operational semanticsfunctional logic languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Related Items (3)

Solving Equations by Graph Transformation ⋮ Variant Narrowing and Equational Unification ⋮ Reduction Strategies for Declarative Programming

This page was built for publication: Lazy narrowing with simplification