scientific article; zbMATH DE number 3621083

MaRDI QIDQ4184271zbMATH OpenFDO

Authors J. J. Horning, J. G. Mitchell, Gerald J. Popek, Ralph L. London, John Guttag, Butler Lampson

Publication date 1979

zbMATH Keywords

EuclidHoare-Style ProofProgramming LanguageProof Rules

Mathematics Subject Classification ID

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

Cited in

(3)

• Remarks on R. D. Tennent's Language design methods based on semantic principles: Algol 68, a language designed using semantic principles
• Abstract for-loops over several aggregates
• A theory of type polymorphism in programming

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