Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Type safety for feature-oriented product lines
A feature-oriented product line is a family of programs that share a common set of features. A
feature implements a stakeholder's requirement and represents a design decision or …
feature implements a stakeholder's requirement and represents a design decision or …
Feature Featherweight Java: A calculus for feature-oriented programming and stepwise refinement
Feature-oriented programming (FOP) is a paradigm that incorporates programming
language technology, program generation techniques, and stepwise refinement. In their …
language technology, program generation techniques, and stepwise refinement. In their …
Metaprogramming with traits
In many domains, classes have highly regular internal structure. For example, so-called
business objects often contain boilerplate code for map** database fields to class …
business objects often contain boilerplate code for map** database fields to class …
Implementing software product lines using traits
A software product line (SPL) is a set of software systems with well-defined commonalities
and variabilities that are developed by managed reuse of common artifacts. In this paper, we …
and variabilities that are developed by managed reuse of common artifacts. In this paper, we …
A unified and formal programming model for deltas and traits
This paper presents a unified model for two complementary approaches of code reuse:
Traits and Delta-Oriented Programming (DOP). Traits are used to modularly construct …
Traits and Delta-Oriented Programming (DOP). Traits are used to modularly construct …
TraitRecordJ: A programming language with traits and records
Traits have been designed as units for fine-grained reuse of behavior in the object-oriented
paradigm. Records have been devised to complement traits for fine-grained reuse of state …
paradigm. Records have been devised to complement traits for fine-grained reuse of state …
[PDF][PDF] Mixin composition synthesis based on intersection types
We present a method for synthesizing compositions of mixins using type inhabitation in
intersection types. First, recursively defined classes and mixins, which are functions over …
intersection types. First, recursively defined classes and mixins, which are functions over …
Featherweight jigsaw: A minimal core calculus for modular composition of classes
We present FJig, a simple calculus where basic building blocks are classes in the style of
Featherweight Java, declaring fields, methods and one constructor. However, inheritance …
Featherweight Java, declaring fields, methods and one constructor. However, inheritance …
On traits and types in a Java-like setting
Both single and multiple class-based inheritance are often inappropriate as a reuse
mechanism, because classes play two competing roles. Namely, a class is both a generator …
mechanism, because classes play two competing roles. Namely, a class is both a generator …
JavaGI: The interaction of type classes with interfaces and inheritance
The language JavaGI extends Java 1.5 conservatively by a generalized interface
mechanism. The generalization subsumes retroactive and type-conditional interface …
mechanism. The generalization subsumes retroactive and type-conditional interface …