scientific article; zbMATH DE number 3750256

MaRDI QIDQ3935448zbMATH OpenFDO

Authors

Publication date 1981

zbMATH Keywords

abstract data typesprogram verificationprogramming language designprogramming methodology

Mathematics Subject Classification ID

Collected or selected works; reprintings or translations of classics (01A75) History of computer science (68-03) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(4)

• A taxonomy of binary tree traversals
• Programming with generators
• First order data types and first order logic
• Issues in the design of a parallel object-oriented language

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