Abstract for-loops over several aggregates

DOI10.1016/0020-0190(79)90025-5zbMath0457.68007OpenAlexW1982877901MaRDI QIDQ1151258

Glenn H. Holloway, Felix J. Fridman, Josef Stein, Naftaly H. Minsky

Publication date: 1979

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(79)90025-5

zbMATH Keywords

programming languagesabstract for-loopsloop-control

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

• Unnamed Item
• Some ideas on data types in high-level languages
• Abstraction mechanisms in CLU
• Abstraction and verification in Alphard

This page was built for publication: Abstract for-loops over several aggregates