Mechanizing some advanced refinement concepts
type: Item
instance of: scholarly article
title: Mechanizing some advanced refinement concepts
zbMATH Open document ID: 0785.68063
DOI: 10.1007/BF01383984
author: J. Hekanaho
author: P. Luostarinen
author: T. Långbacka
author: Joakim von Wright
published in: Formal Methods in System Design
publication date: 1994-04-20T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 469139
zbMATH Keywords: program verification
zbMATH Keywords: semantics of programming languages
zbMATH Keywords: HOL theorem prover
zbMATH Keywords: program refinement
zbMATH Keywords: program transformations
describes a project that uses: HOL
MaRDI profile type: Publication
cites work: A calculus of refinements for program derivations
cites work: Q3996918
cites work: Q4144755
cites work: Data refinement of predicate transformers
cites work: Laws of data refinement
cites work: Q3707340
cites work: Q4692502
cites work: Q4028640
cites work: Refinement concepts formalised in higher order logic
cites work: A formulation of the simple theory of types
cites work: Q4692630
cites work: Q3898009
cites work: A theoretical basis for stepwise refinement and the programming calculus
cites work: Combining angels, demons and miracles in program specifications
cites work: Prespecification in data refinement
full work available at URL: https://doi.org/10.1007/bf01383984
OpenAlex ID: W3021087793
description: scientific article; zbMATH DE number 469139