Procedure mechanisms of abstraction

DOI10.1007/BF01230260zbMath0527.68008OpenAlexW2051827322MaRDI QIDQ595363

A. S. Ivanov, I. R. Agamirzyan

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

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

Uses Software

• Ada95
• Simula 67

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Abstraction and verification in Alphard
• The SL5 procedure mechanism
• Flow diagrams, turing machines and languages with only two formation rules
• Symmetric list processor

This page was built for publication: Procedure mechanisms of abstraction