Research work · 1988

LINSTA: an abstract data type for controled dynamic allocation of finite stacks

Marco Alderighi, Gabriella Pasi, Giacomo R. Sechi

Dialnet (Universidad de la Rioja)

Abstract

The most important requisite in designing computational systems is the production of a system which is reliable. With reference to procedural programs, we consider reliable a program structured [...]