Abstract | ||
---|---|---|
First-class classes add expressive power to class-based object-oriented languages. Most importantly, programmers can abstract over common scenarios with first-class classes. When it comes to behavioral software contracts, however, first-class classes pose significant challenges. In this paper, we present the first contract system for a programming language with first-class classes. The design has been implemented for Racket, which supports first-class classes and which implements mixins and traits as syntactic sugar. We expect that our experience also applies to languages with native mixins and/or traits. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1145/1899661.1869642 | dynamic languages symposium |
Keywords | Field | DocType |
syntactic sugar,significant challenge,native mixins,first-class class,programming language,contract system,expressive power,behavioral software contract,contracts,common scenario,first-class class systems,class-based object-oriented language,object oriented language | Programming language,Object-oriented programming,Computer science,Software,Syntactic sugar,First class,Behavioral analysis,Racket,Expressive power | Conference |
Volume | Issue | ISSN |
45 | 12 | 0362-1340 |
Citations | PageRank | References |
8 | 0.58 | 26 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
T. Stephen Strickland | 1 | 81 | 5.35 |
Matthias Felleisen | 2 | 3001 | 272.57 |