Module Algebra

Abstract

An axiomatic algebraic calculus of modules is given that is based on the operators <italic>combination/union, export, renaming,</italic> and <italic>taking the visible signature</italic>. Four different models of module algebra are discussed and compared.

DOI: 10.1145/77600.77621

Extracted Key Phrases

6 Figures and Tables

Statistics

01020'91'94'97'00'03'06'09'12'15
Citations per Year

160 Citations

Semantic Scholar estimates that this publication has 160 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Bergstra1990ModuleA, title={Module Algebra}, author={Jan A. Bergstra and Jan Heering and Paul Klint}, journal={J. ACM}, year={1990}, volume={37}, pages={335-372} }