Composing programs in a rewriting logic for declarative programming
type: Item
instance of: scholarly article
title: Composing programs in a rewriting logic for declarative programming
zbMATH Open document ID: 1111.68382
DOI: 10.1017/S1471068402001527
published in: Theory and Practice of Logic Programming
publication date: 2004-03-01T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 2048579
zbMATH Keywords: functional-logic programming
zbMATH Keywords: compositionality
MaRDI profile type: MaRDI publication profile
full work available at URL: s1471068402001527
OpenAlex ID: W2179833932
Recommended article: An approach to declarative programming based on a rewriting logic
Recommended article: Q5830893
Recommended article: Compositional Specification in Rewriting Logic
Recommended article: Program Development in Computational Logic
Recommended article: A compositional semantics for logic programs
Recommended article: Verification, Model Checking, and Abstract Interpretation
Recommended article: Compilation as Rewriting in Higher Order Logic
Recommended article: Rewriting of imperative programs into logical equations
Recommended article: Q4506336
description: scientific article; zbMATH DE number 2048579