Denotation by Transformation

DOI10.1007/978-3-540-78769-3_7zbMath1179.68032OpenAlexW1575848714MaRDI QIDQ5504595

Jan Christiansen, Bernd Braßel

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

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

Related Items (2)

A Relation Algebraic Semantics for a Lazy Functional Logic Language ⋮ Denotation by Transformation

Uses Software

• TOY

Cites Work

• Deriving structural hylomorphisms from recursive definitions
• A Relation Algebraic Semantics for a Lazy Functional Logic Language
• Automated Reasoning in Kleene Algebra
• A Framework for Point-Free Program Transformation
• Can programming be liberated from the von Neumann style?
• The integration of functions into logic programming: From theory to practice
• An approach to declarative programming based on a rewriting logic
• Declarative Programming with Function Patterns
• Denotation by Transformation
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Denotation by Transformation