Procedure mechanisms of abstraction

DOI10.1007/BF01230260MaRDI QIDQ595363zbMATH OpenOpenAlexFDO

Authors I. R. Agamirzyan, A. S. Ivanov

Publication date 1984

Published in Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01230260

zbMATH Keywords

controldataoperational abstractions

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Theory of operating systems (68N25)

Cites work

• scientific article; zbMATH DE number 3553723 (Why is no real title available?)
• scientific article; zbMATH DE number 3559037 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3614153 (Why is no real title available?)
• Abstraction and verification in Alphard
• Flow diagrams, turing machines and languages with only two formation rules
• Symmetric list processor
• The SL5 procedure mechanism

Describes a project that uses

Uses Software

• Simula 67
• Ada95

This page was built for publication: Procedure mechanisms of abstraction

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