Transformational programming and the derivation of algorithms
From MaRDI portal
Recommendations
- Provably correct derivation of algorithms using FermaT
- Transformational program development in a particular problem domain
- scientific article; zbMATH DE number 3872648
- Formal program construction by transformations-computer-aided, intuition-guided programming
- Program derivation by fixed point computation
Cites work
Cited in
(19)- scientific article; zbMATH DE number 3990844 (Why is no real title available?)
- Specification transformation method for functional program generation based on partition-recursion refinement rule
- From sequential programs to multi-tier applications by program transformation
- Program transformation system based on generalized partial computation
- The Munich project CIP. Volume II: The program transformation system CIP- S
- scientific article; zbMATH DE number 2090020 (Why is no real title available?)
- Program transformation and rewriting
- Provably correct derivation of algorithms using FermaT
- Transformational programming and the paragraph problem
- Algorithmic Differentiation of Code with Multiple Context-Specific Activities
- scientific article; zbMATH DE number 1953287 (Why is no real title available?)
- Some aspects of algorithm transformation based on the formalization of information connections
- Transformation of algorithms written in the form of composition schemes
- Formal program construction by transformations-computer-aided, intuition-guided programming
- An exercise in transformational programming: Backtracking and Branch-and- Bound
- Transformational derivation of an improved alias analysis algorithm
- scientific article; zbMATH DE number 3872648 (Why is no real title available?)
- Transformational program development in a particular problem domain
- The promotion and accumulation strategies in transformational programming
This page was built for publication: Transformational programming and the derivation of algorithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4932639)