Formal models of stepwise refinements of programs
DOI10.1145/27632.28054zbMATH Open0617.68009OpenAlexW2034529357MaRDI QIDQ4727399FDOQ4727399
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
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
verificationprogram specificationsiteration rulegeneralization ruleassignment rulealternation ruleassertion-based specificationsfunction-based specificationsrelation-based specificationssequence rule
General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (13)
- 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
- Programming from metaphorisms
- Correctness, explanation and intention
- Metaphorisms in programming
- 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)
