scientific article; zbMATH DE number 512892

zbMath0791.68021MaRDI QIDQ4281598

Mario Rodríguez Artalejo, Francisco J. López Fraguas, Rita Loogen

Publication date: 10 March 1994

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

zbMATH Keywords

specificationProlognarrowingconditional term rewriting systemsintegration of functional and logic programming

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items (10)

From Logic to Functional Logic Programs ⋮ Similarity-Based Equality with Lazy Evaluation ⋮ Ensuring the quasi-termination of needed narrowing computations ⋮ A new generic scheme for functional logic programming with constraints ⋮ Evaluation strategies for functional logic programming ⋮ Functional Logic Programming: From Theory to Curry ⋮ The narrowing-driven approach to functional logic program specialization ⋮ Evaluation Strategies for Functional Logic Programming ⋮ Reporting Failures in Functional Logic Programs ⋮ Implementing Dynamic-Cut in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">T</mml:mi></mml:math>OY

Uses Software

• BABEL
• Kernel-LEAF

This page was built for publication: