Provably correct derivation of algorithms using FermaT

DOI10.1007/S00165-013-0287-2zbMATH Open1342.68213OpenAlexW2016919797MaRDI QIDQ736840FDOQ736840

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

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
• scientific article; zbMATH DE number 2111735

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Laws of programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Program development by stepwise refinement
• Title not available (Why is that?)
• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• The Munich project CIP. Volume II: The program transformation system CIP- S
• Formal program construction by transformations-computer-aided, intuition-guided programming
• A Transformation System for Developing Recursive Programs
• A synthesis of several sorting algorithms
• A constructive approach to the problem of program correctness
• Invariant based programming: Basic approach and teaching experiences
• Pigs from sausages? Reengineering from assembler to C via FermaT transformations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension

Cited In (5)

• Title not available (Why is that?)
• Formal and efficient primality proofs by use of computer algebra oracles
• The formal derivation of algorithm and automatic verification based on Isabelle
• Transformational programming and the derivation of algorithms
• Program derivation through transformations: The evolution of list-copying algorithms

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)