Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Software diversity: state of the art and perspectives
Diversity is prevalent in modern software systems to facilitate adapting the software to
customer requirements or the execution environment. Diversity has an impact on all phases …
customer requirements or the execution environment. Diversity has an impact on all phases …
The expression problem revisited: Four new solutions using generics
M Torgersen - European Conference on Object-Oriented …, 2004 - Springer
The expression problem (aka the extensibility problem) refers to a fundamental dilemma of
programming: To which degree can your application be structured in such a way that both …
programming: To which degree can your application be structured in such a way that both …
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 …
The klaim project: Theory and practice
LNCS 2874 - The Klaim Project: Theory and Practice Page 1 The Klaim Project: Theory and
Practice * Lorenzo Bettini1, Viviana Bono2, Rocco De Nicola1, Gianluigi Ferrari3, Daniele …
Practice * Lorenzo Bettini1, Viviana Bono2, Rocco De Nicola1, Gianluigi Ferrari3, Daniele …
Implementing statically typed object-oriented programming languages
R Ducournau - ACM Computing Surveys (CSUR), 2011 - dl.acm.org
Object-oriented programming represents an original implementation issue due to its
philosophy of making the program behavior depend on the dynamic type of objects. This is …
philosophy of making the program behavior depend on the dynamic type of objects. This is …
Disjoint polymorphism
The combination of intersection types, a merge operator and parametric polymorphism
enables important applications for programming. However, such combination makes it hard …
enables important applications for programming. However, such combination makes it hard …
JTL: the Java tools language
We present an overview of JTL (the Java Tools Language, pronounced" Gee-tel"), a novel
language for querying JAVA [8] programs. JTL was designed to serve the development of …
language for querying JAVA [8] programs. JTL was designed to serve the development of …
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 …
Scheme with classes, mixins, and traits
The Scheme language report advocates language design as the composition of a small set
of orthogonal constructs, instead of a large accumulation of features. In this paper, we …
of orthogonal constructs, instead of a large accumulation of features. In this paper, we …
FeatherTrait: A modest extension of Featherweight Java
In the context of statically typed, class-based languages, we investigate classes that can be
extended with trait composition. A trait is a collection of methods without state; it can be …
extended with trait composition. A trait is a collection of methods without state; it can be …