Abstract | ||
---|---|---|
An axiomatic algebraic calculus of modules is given that is based on the operators combination/union, export, renaming, and taking the visible signature. Four different models of module algebra are discussed and compared. |
Year | DOI | Venue |
---|---|---|
1990 | 10.1145/77600.77621 | J. ACM |
Keywords | DocType | Volume |
craig interpolation lemma,export,different model,additional key words and phrases: abstraction,module expression,signature expression,module compo- sition,operators combination,renaming,axiomatic algebraic calculus,visible signature,algebraic specification module,first-order specification module,module algebra,union of modules,information hiding,signature | Journal | 37 |
Issue | Citations | PageRank |
2 | 65 | 3.19 |
References | Authors | |
21 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jan A. Bergstra | 1 | 1445 | 140.42 |
J. Heering | 2 | 441 | 36.70 |
P. Klint | 3 | 688 | 62.97 |