Abstraction and verification in Alphard

DOI10.1145/359763.359782MaRDI QIDQ4136546zbMATH OpenOpenAlexWikidataFDO

Authors Mary Shaw, Wm. A. Wulf, Ralph L. London

Publication date 1977

Published in Communications of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/359763.359782

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(6)

• AND parallelism and nondeterminism in logic programs
• Procedure mechanisms of abstraction
• Abstract for-loops over several aggregates
• Routines: An argument against the conventional approach to functions and procedures
• PROCOL. A concurrent object-oriented language with protocols delegation and constraints
• Data metastructures

This page was built for publication: Abstraction and verification in Alphard

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4136546)