Denotation by Transformation
From MaRDI portal
Publication:5504595
Recommendations
Cites work
- scientific article; zbMATH DE number 977284 (Why is no real title available?)
- scientific article; zbMATH DE number 234018 (Why is no real title available?)
- A Framework for Point-Free Program Transformation
- A Relation Algebraic Semantics for a Lazy Functional Logic Language
- An approach to declarative programming based on a rewriting logic
- Automated Reasoning in Kleene Algebra
- Can programming be liberated from the von Neumann style?
- Declarative Programming with Function Patterns
- Denotation by Transformation
- Deriving structural hylomorphisms from recursive definitions
- Point-free program transformation
- The integration of functions into logic programming: From theory to practice
Cited in
(4)
This page was built for publication: Denotation by Transformation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504595)