Access mechanisms in block structured environments

DOI10.1007/BF01934407zbMath0494.68012OpenAlexW2021149542MaRDI QIDQ1169282

Mats Loefgren, Boris Magnusson

Publication date: 1982

Published in: BIT (Search for Journal in Brave)

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

zbMATH Keywords

global variablesrecursionprogramming languagesimplementationSimulacompilerAdadisplay22, 419-436 (1982)access mechanismblock-structuredynamic analysis of programsseparate compilation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Ada95
• Simula 67
• ALGOL 60

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursive programming
• An analysis of Pascal programs in compiler writing
• The design of a pascal compiler
• Storage administration in a virtual memory Simula system
• Letter to the editor

This page was built for publication: Access mechanisms in block structured environments