Composing programs in a rewriting logic for declarative programming

DOI10.1017/S1471068402001527MaRDI QIDQ4452602zbMATH OpenOpenAlexFDO

Authors

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

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

Recommendations

• An approach to declarative programming based on a rewriting logic
• scientific article; zbMATH DE number 3092135
• Compositional specification in rewriting logic
• Program Development in Computational Logic
• A compositional semantics for logic programs
• Program Development in Computational Logic
• Verification, Model Checking, and Abstract Interpretation
• Compilation as Rewriting in Higher Order Logic
• Rewriting of imperative programs into logical equations
• scientific article; zbMATH DE number 1508539

Cited in

(8)

• scientific article; zbMATH DE number 5856093 (Why is no real title available?)
• An approach to declarative programming based on a rewriting logic
• A declarative framework for object-oriented programming with genetic inheritance
• scientific article; zbMATH DE number 4064537 (Why is no real title available?)
• Abstract domains for reordering CLP(RLin) programs
• Rewriting of imperative programs into logical equations
• scientific article; zbMATH DE number 408794 (Why is no real title available?)
• An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry

This page was built for publication: Composing programs in a rewriting logic for declarative programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452602)