Transformational programming and the derivation of algorithms

DOI10.1007/978-90-481-9794-1_4MaRDI QIDQ4932639zbMATH OpenOpenAlexFDO

Authors Martin Ward, Hussein Zedan

Publication date 6 October 2010

Published in Lecture Notes in Electrical Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-90-481-9794-1_4

zbMATH Keywords

formal specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

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

• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• A constructive approach to the problem of program correctness
• Invariant based programming: Basic approach and teaching experiences

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)