Formal models of stepwise refinements of programs

DOI10.1145/27632.28054zbMATH Open0617.68009OpenAlexW2034529357MaRDI QIDQ4727399FDOQ4727399

Jules Desharnais, Ali Mili, Jean-Raymond Gagné

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

Recommendations

• A theoretical basis for stepwise refinement and the programming calculus
• Publication:2723910
• A formal model of programs
• Approximation of abstract semantics by formal models of programs
• scientific article
• Formal models for some features of programming languages

zbMATH Keywords

verificationprogram specificationsiteration rulegeneralization ruleassignment rulealternation ruleassertion-based specificationsfunction-based specificationsrelation-based specificationssequence rule

Mathematics Subject Classification ID

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

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• The formal specification of a problem solved by a parallel program - a relational model
• A calculus of refinements for program derivations
• Systematic program development
• A theoretical basis for stepwise refinement and the programming calculus
• Regularity of relations: A measure of uniformity
• Correctness, explanation and intention
• Title not available (Why is that?)
• Meta-modelling for formal software development
• Title not available (Why is that?)

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)