Programming with narrowing: a tutorial
type: Item
instance of: scholarly article
title: Programming with narrowing: a tutorial
zbMATH Open document ID: 1192.68135
author: Sergio Antoy
published in: Journal of Symbolic Computation
publication date: 2010-05-05T00:00:00Z
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 5704030
zbMATH Keywords: narrowing
zbMATH Keywords: functional logic programming
zbMATH Keywords: program design
describes a project that uses: BABEL
describes a project that uses: Kernel-LEAF
describes a project that uses: PAKCS
describes a project that uses: ML
describes a project that uses: EasyCheck
describes a project that uses: TOY
describes a project that uses: Curry
MaRDI profile type: Publication
full work available at URL: j.jsc.2010.01.006
OpenAlex ID: W2135378214
cites work: Q2763647
cites work: Q4217931
cites work: Specialization of functional logic programs based on needed narrowing
cites work: Q4364366
cites work: Evaluation strategies for functional logic programming
cites work: A needed narrowing strategy
cites work: Q2729761
cites work: Declarative Programming with Function Patterns
cites work: Overlapping Rules and Logic Variables in Functional Logic Programs
cites work: A Virtual Machine for Functional Logic Computations
cites work: Q4799892
cites work: Declaring Numbers
cites work: Q4385532
cites work: Q3210187
cites work: Inductively Sequential Term-Graph Rewrite Systems
cites work: Kernel-LEAF: A logic plus functional language
cites work: An approach to declarative programming based on a rewriting logic
cites work: The integration of functions into logic programming: From theory to practice
cites work: Multi-paradigm Declarative Languages
cites work: Q3883561
cites work: Nondeterministic algebraic specifications and nonconfluent term rewriting
cites work: Q4023825
cites work: Q4259975
cites work: Q2766774
cites work: Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
cites work: Logic programming with functions and predicates: The language Babel
cites work: Computing in systems described by equations
cites work: Q3776590
cites work: Handbook of Graph Grammars and Computing by Graph Transformation
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Type-level computation using narrowing in \(\Omega\)mega
cites work: Q5287535
cites work: Implementing functional logic languages using multiple threads and stores
cites work: Program development by stepwise refinement
DOI: 10.1016/J.JSC.2010.01.006
description: scientific article; zbMATH DE number 5704030