## A Core Calculus of Classes and Mixins (1999)

### Cached

### Download Links

- [theory.stanford.edu]
- [theory.stanford.edu]
- [theory.stanford.edu]
- [theory.stanford.edu]
- DBLP

### Other Repositories/Bibliography

by
Viviana Bono
,
Amit Patel
,
Vitaly Shmatikov

Citations: | 52 - 15 self |

### BibTeX

@MISC{Bono99acore,

author = {Viviana Bono and Amit Patel and Vitaly Shmatikov},

title = {A Core Calculus of Classes and Mixins},

year = {1999}

}

### Years of Citing Articles

### OpenURL

### Abstract

We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a -calculus with records and references, we obtain a system with an intuitive operational semantics. New