On 5/3/16 11:23 AM, Erik Baigar wrote:
Well, but is this not an software abstraction for a
non existing
encapsulation feature of the underlying hardware?
Yes, or you can design a language with array bounds checking and no
arbitrary pointer dereferencing. Burroughs Algol, HP SPL, Xerox Mesa,
or their modern reinventions, built on segmented stack architectures.
On the microcomputer side, companies built MMUs for microcomputers that
had bank switching and protection. Digital Research MPM, for example.