An elementary and unified approach to program correctness
type: Item
instance of: scholarly article
title: An elementary and unified approach to program correctness
zbMATH Open document ID: 1211.68079
published in: Formal Aspects of Computing
publication date: 2010-11-22T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 5817992
zbMATH Keywords: programming methodology
zbMATH Keywords: program correctness
zbMATH Keywords: program verification
zbMATH Keywords: recursion
zbMATH Keywords: Dijkstra-Hehner language
author: Jaime A. Bohórquez V.
describes a project that uses: CalcCheck
MaRDI profile type: Publication
full work available at URL: s00165-009-0137-4
OpenAlex ID: W2017923582
cites work: Q3898009
cites work: The associativity of equivalence and the Towers of Hanoi problem
cites work: Exercises in Quantifier Manipulation
cites work: An Inductive Theorem on the Correctness of General Recursive Programs
cites work: Intuitionistic logic according to Dijkstra's calculus of equational deduction
cites work: Guarded commands, nondeterminacy and formal derivation of programs
cites work: Q4144755
cites work: Q4692630
cites work: Q3965549
cites work: Q5584402
cites work: Q3925859
cites work: Predicative programming Part I
cites work: A practical theory of programming
cites work: Retrospective and Prospective for Unifying Theories of Programming
cites work: The weakest prespecification
cites work: An axiomatic basis for computer programming
cites work: Programs are predicates
cites work: Q5688938
cites work: The derivation of systolic computations
cites work: On calculational proofs
cites work: Q4124327
cites work: Q3881899
cites work: Q3996918
cites work: A presentation of the Fibonacci algorithm
cites work: Q4282659
cites work: On the shape of mathematical arguments
cites work: Program development by stepwise refinement
DOI: 10.1007/S00165-009-0137-4
description: scientific article; zbMATH DE number 5817992