Composing programs in a rewriting logic for declarative programming

DOI10.1017/S1471068402001527zbMath1111.68382OpenAlexW2179833932MaRDI QIDQ4452602

No author found.

Publication date: 1 March 2004

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068402001527

zbMATH Keywords

compositionalityfunctional-logic programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items

An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry