Correctness of the compiling process based on axiomatic semantics
type: Item
instance of: scholarly article
title: Correctness of the compiling process based on axiomatic semantics
zbMATH Open document ID: 0432.68010
DOI: 10.1007/BF00289061
author: Bruce Russell
published in: Acta Informatica
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3673504
zbMATH Keywords: correctness
zbMATH Keywords: axiomatic semantics
zbMATH Keywords: program transformations
zbMATH Keywords: verification rules
zbMATH Keywords: block structured programming language
MaRDI profile type: Publication
cites work: Proof Theory of Partial Correctness Verification Systems
cites work: An axiomatic basis for computer programming
cites work: An axiomatic definition of the programming language Pascal
cites work: Q4055144
cites work: Program Improvement by Source-to-Source Transformation
cites work: Q5674962
cites work: Implementation Correctness Involving a Language with <scp>goto</scp> Statements
cites work: The denotational semantics of programming languages
cites work: Q5653569
description: scientific article; zbMATH DE number 3673504