Program invariants as fixedpoints
type: Item
instance of: scholarly article
title: Program invariants as fixedpoints
zbMATH Open document ID: 0399.68022
DOI: 10.1007/BF02248730
published in: Computing
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3621094
zbMATH Keywords: Predicate Transformers
zbMATH Keywords: Program Invariants
zbMATH Keywords: Floyd-Hoare Axiom Systems
zbMATH Keywords: Fixedpoint Theorems
author: Edmund Clarke
MaRDI profile type: Publication
cites work: A Complete and Consistent Hoare Axiomatics for a Simple Programming Language
cites work: Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
cites work: Grammar Analysis and Parsing by Abstract Interpretation
cites work: Q4403707
cites work: Q5584402
cites work: Q4068066
cites work: An axiomatic basis for computer programming
cites work: Q5626277
cites work: Consistent and complementary formal theories of the semantics of programming languages
cites work: Formalization of Properties of Functional Programs
cites work: Q5624635
cites work: Q4140351
cites work: Q5636307
cites work: Q4140350
full work available at URL: https://doi.org/10.1007/bf02248730
OpenAlex ID: W138086306
description: scientific article; zbMATH DE number 3621094