scientific article

zbMath0439.68010MaRDI QIDQ3881886

Andrew D. McGettrick

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

programming languagessemanticslanguage definition

Mathematics Subject Classification ID

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

Related Items (1)

The axiomatic semantics of programs based on Hoare's logic

This page was built for publication: