Denotation by Transformation

DOI10.1007/978-3-540-78769-3_7MaRDI QIDQ5504595zbMATH OpenOpenAlexFDO

Authors Bernd Braßel, Jan Christiansen

Publication date 22 January 2009

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78769-3_7

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• A Framework for Point-Free Program Transformation
• A denotational semantics and dataflow construction for logic programs
• scientific article; zbMATH DE number 408794
• Denotational and operational semantics for prolog
• Point-free program transformation

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)

• A Relation Algebraic Semantics for a Lazy Functional Logic Language
• Pointfree expression and calculation: From quantification to temporal logic
• scientific article; zbMATH DE number 1696901 (Why is no real title available?)
• Denotation by Transformation

Describes a project that uses

Uses Software

• TOY

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)