scientific article; zbMATH DE number 3686759

MaRDI QIDQ3881886zbMATH OpenFDO

Authors Andrew D. McGettrick

Publication date 1980

zbMATH Keywords

language definitionprogramming languagessemantics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)

Cited in

(1)

• The axiomatic semantics of programs based on Hoare's logic

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 Q3881886)