Loading...
Please wait, while we are loading the content...
Similar Documents
Feature Featherweight Java: A calculus for feature-oriented programming and stepwise refinement (2008)
| Content Provider | CiteSeerX |
|---|---|
| Author | Kästner, Christian Apel, Sven Lengauer, Christian |
| Description | In Proceedings of the 7th International Conference on Generative Programming and Component Engineering (GPCE |
| Abstract | Feature-oriented programming (FOP) is a paradigm that incorporates programming language technology, program generation techniques, and stepwise refinement. In their GPCE’07 paper, Thaker et al. suggest the development of a type system for FOP to guarantee safe feature composition, i.e, to guarantee the absence of type errors during feature composition. We present such a type system along with a calculus for a simple feature-oriented, Java-like language, called Feature Featherweight Java (FFJ). Furthermore, we explore four extensions of FFJ and how they affect type soundness. |
| File Format | |
| Publisher Date | 2008-01-01 |
| Access Restriction | Open |
| Subject Keyword | Feature Featherweight Java Safe Feature Composition Feature-oriented Programming Language Technology Feature Composition Type Error Java-like Language Type Soundness Stepwise Refinement Program Generation Technique |
| Content Type | Text |
| Resource Type | Proceeding |
