Denotation by Transformation (Q5504595): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 00:30, 29 June 2024

scientific article; zbMATH DE number 5496629

Language	Label	Description	Also known as
English	Denotation by Transformation	scientific article; zbMATH DE number 5496629

Statements

scholarly article

0 references

Denotation by Transformation (English)

0 references

zbMATH Open document ID

0 references

10.1007/978-3-540-78769-3_7

0 references

0 references

Jan Christiansen

0 references

Logic-Based Program Synthesis and Transformation

0 references

publication date

22 January 2009

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-540-78769-3_7

0 references

0 references

Declarative Programming with Function Patterns

0 references

Can programming be liberated from the von Neumann style?

0 references

0 references

A Relation Algebraic Semantics for a Lazy Functional Logic Language

0 references

Denotation by Transformation

0 references

0 references

A Framework for Point-Free Program Transformation

0 references

An approach to declarative programming based on a rewriting logic

0 references

The integration of functions into logic programming: From theory to practice

0 references

Automated Reasoning in Kleene Algebra

0 references

Deriving structural hylomorphisms from recursive definitions

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5504595

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5504595&oldid=35089494"