Designing a machine independent storage management system : (preprint)
Hans B. M. Jonkers · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1980
A systematic method of designing a storage management system for a machine independent language implementation is described.It is based on constructing an abstract model, which contains exactly the information relevant to storage management and no more than that.The model allows the problem to be approached in a rigorous and transparent way, up to a level of formality where proofs of correctness are possible.The effectivenE!SS of the method is demonstrated in the design of a storage•management system for a machine independent ALGOL 68 implementation.