scientific article; zbMATH DE number 3793391

MaRDI QIDQ3969854zbMATH OpenFDO

Authors Harald Ganzinger

Publication date 1981

zbMATH Keywords

abstract data typesalgebraic semanticsassignmentscomposition of conditionalsconditional constructioncontrol structuresfree and forgetful functorsHoare-logic of programslanguage constructslooppersistent functorsprogram variablessemantics of while programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• Relations as abstract datatypes: An institution to specify relations between algebras

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3969854)