Add to ORKGAbstract. Feature-oriented programming (FOP) is a paradigm that in-corporates programming language technology, program generation tech-niques, and stepwise refinement. In their GPCE’07 paper, Thaker et al. suggest the development of a type system for FOP in order to guarantee safe 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 several extensions of FFJ and how they affect type soundness.
Type-directed programming is an important and widely used paradigm in the design of software. With t...
Features are distinguishable characteristics of a system rele-vant to some stakeholder. A product li...
LazyJ is a backward-compatible extension of the Java programming language that allows programmers to...
Feature-oriented programming (FOP) is a paradigm that incorpo-rates programming language technology,...
The goal of feature-oriented programming (FOP) is to modularize software systems in terms of fea-tur...
Mainly concerned with type safety, Featherweight Java, or FJ, is a well known minimal core for Java ...
Abstract. The goal of Feature-oriented Programming (FOP) is to modularize software systems in terms ...
Abstract. Object composition is often advocated as a more flexible alternative to standard class inh...
This paper addresses compositional and incremental type checking for object-oriented programming lan...
In the context of statically-typed, class-based languages, we investigate classes that can be extend...
This paper describes a flexible type and effect inference system for Featherweight Java (FJ). The ef...
Traits are fine-grained components that can be used to compose classes, while avoiding many of the p...
AbstractFragments of mainstream programming languages are formalised in order to show desirable prop...
There are two approaches to defining subtyping relations: the syntactic and the semantic approach. I...
Typestate oriented programming integrates notions of typestate directly into the semantics of an obj...
Type-directed programming is an important and widely used paradigm in the design of software. With t...
Features are distinguishable characteristics of a system rele-vant to some stakeholder. A product li...
LazyJ is a backward-compatible extension of the Java programming language that allows programmers to...
Feature-oriented programming (FOP) is a paradigm that incorpo-rates programming language technology,...
The goal of feature-oriented programming (FOP) is to modularize software systems in terms of fea-tur...
Mainly concerned with type safety, Featherweight Java, or FJ, is a well known minimal core for Java ...
Abstract. The goal of Feature-oriented Programming (FOP) is to modularize software systems in terms ...
Abstract. Object composition is often advocated as a more flexible alternative to standard class inh...
This paper addresses compositional and incremental type checking for object-oriented programming lan...
In the context of statically-typed, class-based languages, we investigate classes that can be extend...
This paper describes a flexible type and effect inference system for Featherweight Java (FJ). The ef...
Traits are fine-grained components that can be used to compose classes, while avoiding many of the p...
AbstractFragments of mainstream programming languages are formalised in order to show desirable prop...
There are two approaches to defining subtyping relations: the syntactic and the semantic approach. I...
Typestate oriented programming integrates notions of typestate directly into the semantics of an obj...
Type-directed programming is an important and widely used paradigm in the design of software. With t...
Features are distinguishable characteristics of a system rele-vant to some stakeholder. A product li...
LazyJ is a backward-compatible extension of the Java programming language that allows programmers to...