A Design for Type-Directed Programming in Java (2004)
| Venue: | In Workshop on Object-Oriented Developments (WOOD |
| Citations: | 6 - 0 self |
BibTeX
@INPROCEEDINGS{Weirich04adesign,
author = {Stephanie Weirich and Liang Huang},
title = {A Design for Type-Directed Programming in Java},
booktitle = {In Workshop on Object-Oriented Developments (WOOD},
year = {2004}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Type-directed programming is an important and widely used paradigm in the design of software. With this form of programming, a program may analyze type information to determine its behavior. By analyzing the structure of data, many operations, such as serialization, cloning, structural equality, and iterators, may be defined once, for all types of data. The benefit of type-directed programming is that as software evolves, operations need not be updated---they will automatically adapt to new data forms. Otherwise, each of these operations must be individually redefined for each type of data, forcing programmers to revisit the same program logic many times during a program's lifetime.
