Provably correct derivation of algorithms using FermaT

DOI10.1007/S00165-013-0287-2MaRDI QIDQ736840zbMATHOpenAlexFDO

Authors Martin Ward, Hussein Zedan

Publication date 5 August 2016

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2086/9173

zbMATH Keywords

formal methodssoftware developmentalgorithm derivationFermaTtransformational programmingWSL

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Transformational programming and the derivation of algorithms
• Publication:3034803
• Program derivation through transformations: The evolution of list-copying algorithms
• Program derivation with verified transformations — a case study
• Publication:4825544

Cites work

• scientific article; zbMATH DE number 3872646 (Why is no real title available?)
• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• scientific article; zbMATH DE number 51769 (Why is no real title available?)
• scientific article; zbMATH DE number 3471564 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3635519 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 1927431 (Why is no real title available?)
• scientific article; zbMATH DE number 910715 (Why is no real title available?)
• scientific article; zbMATH DE number 3303654 (Why is no real title available?)
• A Transformation System for Developing Recursive Programs
• A constructive approach to the problem of program correctness
• A synthesis of several sorting algorithms
• Formal program construction by transformations-computer-aided, intuition-guided programming
• Invariant based programming: Basic approach and teaching experiences
• Laws of programming
• Pigs from sausages? Reengineering from assembler to C via FermaT transformations
• Program development by stepwise refinement
• Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension
• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• The Munich project CIP. Volume II: The program transformation system CIP- S

Cited in

(5)

• Program derivation through transformations: The evolution of list-copying algorithms
• Formal and efficient primality proofs by use of computer algebra oracles
• scientific article; zbMATH DE number 4133471 (Why is no real title available?)
• The formal derivation of algorithm and automatic verification based on Isabelle
• Transformational programming and the derivation of algorithms

Describes a project that uses

Uses Software

• RAISE
• Rodin
• FermaT
• mural

This page was built for publication: Provably correct derivation of algorithms using FermaT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q736840)