Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
A naturally protective epitope of limited variability as an influenza vaccine target
Current antigenic targets for influenza vaccine development are either highly immunogenic
epitopes of high variability or conserved epitopes of low immunogenicity. This requires …
epitopes of high variability or conserved epitopes of low immunogenicity. This requires …
The Kansas University Rewrite Engine: A Haskell-embedded strategic programming language with custom closed universes
When writing transformation systems, a significant amount of engineering effort goes into
setting up the infrastructure needed to direct individual transformations to specific targets in …
setting up the infrastructure needed to direct individual transformations to specific targets in …
Bridging the chasm between MDE and the world of compilation
Modeling and transforming have always been the cornerstones of software system
development, albeit often investigated by different research communities. Modeling …
development, albeit often investigated by different research communities. Modeling …
A Haskell hosted DSL for writing transformation systems
A Gill - IFIP Working Conference on Domain-Specific …, 2009 - Springer
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation
systems based on rewrite strategies. When writing transformation systems, a significant …
systems based on rewrite strategies. When writing transformation systems, a significant …
Programming errors in traversal programs over structured data
Traversal strategies à la Stratego (also à la Strafunski and 'Scrap Your Boilerplate') provide
an exceptionally versatile and uniform means of querying and transforming deeply nested …
an exceptionally versatile and uniform means of querying and transforming deeply nested …
Effective strategic programming for Java developers
In object programming languages, the Visitor design pattern allows separation of algorithms
and data structures. When applying this pattern to tree‐like structures, programmers are …
and data structures. When applying this pattern to tree‐like structures, programmers are …
Model transformations with tom
Model Driven Engineering (MDE) advocates the use of Model Transformations (MT) in order
to automate repetitive development tasks. Many different model transformation languages …
to automate repetitive development tasks. Many different model transformation languages …
Program and aspect metrics for MATLAB
In this paper we present the main concepts of a domain-specific aspect language for
specifying cross-cutting concerns of MATLAB programs, together with a suite of metrics that …
specifying cross-cutting concerns of MATLAB programs, together with a suite of metrics that …
Conception d'un langage dédié à l'analyse et la transformation de programmes
E Balland - 2009 - theses.hal.science
Développer des analyseurs statiques nécessite une manipulation intensive de structures
d'arbres et de graphes représentant le programme. La finalité de cette thèse est de proposer …
d'arbres et de graphes représentant le programme. La finalité de cette thèse est de proposer …
Programming errors in traversal programs over structured data
Traversal strategies à la Stratego (also à la Strafunski and 'Scrap Your Boilerplate') provide
an exceptionally versatile and uniform means of querying and transforming deeply nested …
an exceptionally versatile and uniform means of querying and transforming deeply nested …