Formal models of stepwise refinements of programs

DOI10.1145/27632.28054MaRDI QIDQ4727399zbMATH OpenOpenAlexFDO

Authors Jules Desharnais, Jean-Raymond Gagné, Ali Mili

Publication date 1986

Published in ACM Computing Surveys (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/27632.28054

zbMATH Keywords

alternation ruleassertion-based specificationsassignment rulefunction-based specificationsgeneralization ruleiteration ruleprogram specificationsrelation-based specificationssequence ruleverification

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A theoretical basis for stepwise refinement and the programming calculus
• scientific article; zbMATH DE number 1615248
• A formal model of programs
• Approximation of abstract semantics by formal models of programs
• scientific article; zbMATH DE number 3847387
• Formal models for some features of programming languages

Cited in

(15)

• A calculus of refinements for program derivations
• Heuristics for constructing while loops
• Programming from metaphorisms
• Specifications, programs, and total correctness
• Correctness, explanation and intention
• Regularity of relations: A measure of uniformity
• Meta-modelling for formal software development
• The formal specification of a problem solved by a parallel program - a relational model
• Metaphorisms in programming
• scientific article; zbMATH DE number 3951983 (Why is no real title available?)
• scientific article; zbMATH DE number 3990844 (Why is no real title available?)
• scientific article; zbMATH DE number 4024746 (Why is no real title available?)
• Systematic program development
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• A theoretical basis for stepwise refinement and the programming calculus

This page was built for publication: Formal models of stepwise refinements of programs

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