scientific article; zbMATH DE number 3621083
From MaRDI portal
Publication:4184271
zbMath0399.68011MaRDI QIDQ4184271
J. G. Mitchell, J. J. Horning, Gerald J. Popek, J. V. Guttag, Ralph L. London, B. W. Lampson
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (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:
