๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Algebraic representation of structured R-programs

โœ Scribed by I. M. Adel'shin; M. I. Vodinchar


Publisher
Springer US
Year
1988
Tongue
English
Weight
763 KB
Volume
24
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Equivalence of programs with structured
โœ A.V. Aho; J.D. Ullman ๐Ÿ“‚ Article ๐Ÿ“… 1972 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 565 KB

We consider a class of straight line programs admitting structured variables. It is easy to associate with each program a set of expressions which reflects the natural meaning of a structured variable such as an array. However, the question of whether two such expressions are equivalent depends on w