Using Value Semantic Abstractions to Guide Strongly Typed Library Design
| Title | Using Value Semantic Abstractions to Guide Strongly Typed Library Design |
| Publication Type | Technical Report |
| Year of Publication | 1997 |
| Authors | Gomes, B., Stoutamire D., Weissman B., & Feldman J. |
| Other Numbers | 1123 |
| Abstract | This report addresses typing problems that arise when modelling simple mathematical entities in strongly typed languages such as Sather, which are eliminated by a proper distinction between mutable and immutable abstractions. We discuss the reasons why our intuition leads us astray, and provide a solution using statically type-safe specialization through constrained overloading. We also discuss the type relationships between mutable and immutable classes and the notion of freezing objects. |
| URL | http://www.icsi.berkeley.edu/ftp/global/pub/techreports/1997/tr-97-061.pdf |
| Bibliographic Notes | ICSI Technical Report TR-97-061 |
| Abbreviated Authors | B. Gomes, D. Stoutamire, B. Weissman, and J. Feldman |
| ICSI Publication Type | Technical Report |