An algebraic implementation of packages (original) (raw)

Lecture Notes in Computer Science, 1985

Abstract

ABSTRACT An implementation of packages is described. The implementation is based on viewing packages as substitutions. Using a few operations on packages it is possible to build any package, from a small collection of basic packages. Generic packages can be built, that can be used as building blocks for new packages. The packages defined by the model lend themselves well to algebraic manipulation.

B. Saunders hasn't uploaded this paper.

Let B. know you want this paper to be uploaded.

Ask for this paper to be uploaded.