Computer Science – Programming Languages
Scientific paper
2009-10-14
Computer Science
Programming Languages
PhD Thesis submitted October, 2009
Scientific paper
Software products evolve over time. Sometimes they evolve by adding new features, and sometimes by either fixing bugs or replacing outdated implementations with new ones. When software engineers fail to anticipate such evolution during development, they will eventually be forced to re-architect or re-build from scratch. Therefore, it has been common practice to prepare for changes so that software products are extensible over their lifetimes. However, making software extensible is challenging because it is difficult to anticipate successive changes and to provide adequate abstraction mechanisms over potential changes. Such extensibility mechanisms, furthermore, should not compromise any existing functionality during extension. Software engineers would benefit from a tool that provides a way to add extensions in a reliable way. It is natural to expect programming languages to serve this role. Extensible programming is one effort to address these issues. In this thesis, we present type safe extensible programming using the MLPolyR language. MLPolyR is an ML-like functional language whose type system provides type-safe extensibility mechanisms at several levels. After presenting the language, we will show how these extensibility mechanisms can be put to good use in the context of product line engineering. Product line engineering is an emerging software engineering paradigm that aims to manage variations, which originate from successive changes in software.
No associations
LandOfFree
Type Safe Extensible Programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Type Safe Extensible Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Type Safe Extensible Programming will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-19462