Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen  Home/Search
Context Related
| neu.edu/scheme/pubs/./tr97293.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: neu.edu/scheme/pubs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: While class-based object-oriented programming languages provide a flexible mechanism for re-using and managing related pieces of code, they typically lack linguistic facilities for specifying a uniform extension of many classes with one set of fields and methods. As a result, programmers are unable to express certain abstractions over classes. In this paper we develop a model of class-to-class functions that we refer to as mixins. A mixin function maps a class to an extended class by adding or... (Update)
Cited by: More
MiniMAO: Investigating the Semantics of Proceed - Clifton, Leavens (2005) (Correct)
Formal Models for Aspect-Oriented Software Development - Skipper (2004) (Correct)
A Core Calculus of Higher-Order Mixins and Classes - Bettini, Bono, Likavec (Correct)
Similar documents (at the sentence level):
75.7%: Programming Languages for Reusable Software Components - Flatt (1999) (Correct)
63.7%: A Programmer's Reduction Semantics for Classes and Mixins - Flatt, Krishnamurthi.. (Correct)
56.9%: Classes and Mixins - Flatt, Krishnamurthi, Felleisen (1998) (Correct)
Active bibliography (related documents): More All
0.1: Orthogonal to the Java Imperative - Alagic, Solorzano, Gitchell (1998) (Correct)
0.1: Garbage Collection and Local Variable Type-Precision and.. - Agesen, Detlefs, Moss (1998) (Correct)
0.1: Extensions of Java - Bosnakoski (2000) (Correct)
Similar documents based on text: More All
0.6: Modular Object-Oriented Programming with Units and Mixins - Findler, Flatt (1998) (Correct)
0.5: Mixins: Typing the Superclass Interface - Simons (Correct)
0.5: A Core Calculus of Classes and Mixins - Bono, Patel, Shmatikov (1999) (Correct)
Related documents from co-citation: More All
7: Jam - a smooth extension of java with mixins - Ancona, Lagorio et al. - 1999
7: Classes and mixins - Flatt, Krishnamurthi et al. - 1998
7: The revised report on the syntactic theories of sequential control and state - Felleisen, Hieb - 1992
BibTeX entry: (Update)
Matthew Flatt, Shriram Krishnamurthi, and Matthias Felleisen. A Programmer's Reduction Semantics for Classes and Mixins. In Alves-Foss [3]. This volume. http://citeseer.ist.psu.edu/flatt99programmers.html More
@inproceedings{ flatt99programmers,
author = "Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen",
title = "A Programmer's Reduction Semantics for Classes and Mixins",
booktitle = "Formal Syntax and Semantics of Java",
pages = "241-269",
year = "1999",
url = "citeseer.ist.psu.edu/flatt99programmers.html" }
Citations (may not include all citations):2157 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1994
862 The Java Language Specification - Gosling, Joy et al. - 1996
306 A syntactic approach to type soundness - Wright, Felleisen
240 Mixin-based inheritance - Bracha, Cook - 1990
138 The revised report on the syntactic theories of sequential c.. - Felleisen, Hieb
112 A Denotational Semantics of Inheritance - Cook - 1989
107 Object-oriented Type Systems (context) - Palsberg, Schwartzbach - 1994
82 Objects as closures: Abstract semantics of object oriented l.. (context) - Reddy - 1988
76 Modularity meets inheritance - Bracha, Lindstrom - 1992
72 A theory of primitive objects --- untyped and firstorder sys.. - Abadi, Cardelli - 1994
71 Modularity and Multiple Inheritance (context) - Bracha - 1992
69 Proving Java type soundness - Syme - 1997
58 Inheritance and the development of encapsulated software com.. (context) - Snyder - 1987
52 A type-theoretic interpretation of Standard ML - Harper, Stone - 1998
41 A theory of primitive objects: second-order systems - Abadi, Cardelli - 1994
40 Inheritance in smalltalk-80: a denotational definition (context) - Kamin - 1988
31 An imperative object calculus - Abadi, Cardelli - 1995
30 PLT MzScheme: Language manual (context) - Flatt - 1997
27 Programming objects with ML-ART: An extension to ML with abs.. (context) - R'emy - 1994
23 DrScheme: A pedagogic programming environment for Scheme - Findler, Flanagan et al. - 1997
21 Monotonic conflict resolution mechanisms for inheritance (context) - Ducournau, Habib et al. - 1992
19 Application of OOP type theory: State (context) - Eifrig, Smith et al. - 1994
18 An algebraic approach to mixins and modularity - Ancona, Zucca - 1996
13 Reasoning about object systems in VTLoE - Mason, Talcott - 1995
11 Modeling subobject-based inheritance - Rossie, Friedman et al. - 1996
10 Java is typesafe -- probably (context) - Drossopolou, Eisenbach - 1997
9 The Common LISP Companion (context) - Koschmann - 1990
7 Foresman and Company (context) - Kessler - 1988
6 Adding type parameterization to Java - Agesen, Freund et al. - 1997
www.cs.rice.edu/~matthias/411web/mono.ps
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ccs.neu.edu/scheme/pubs/): More
Observable Sequentiality and Full Abstraction - Cartwright, Felleisen (1992) (Correct)
Universal Domains For Sequential Computation - Kanneganti (1995) (Correct)
Typing First-Class Continuations in ML - Harper, Duba, MacQueen (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC