Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
A survey of rewriting strategies in program transformation systems
E Visser - Electronic Notes in Theoretical Computer Science, 2001 - Elsevier
Program transformation is used in a wide range of applications including compiler
construction, optimization, program synthesis, refactoring, software renovation, and reverse …
construction, optimization, program synthesis, refactoring, software renovation, and reverse …
The Spoofax language workbench: rules for declarative specification of languages and IDEs
Spoofax is a language workbench for efficient, agile development of textual domain-specific
languages with state-of-the-art IDE support. Spoofax integrates language processing …
languages with state-of-the-art IDE support. Spoofax integrates language processing …
[PDF][PDF] Model-driven software evolution: A research agenda
A Van Deursen, E Visser, J Warmer - Proceedings 1st International …, 2007 - pure.tudelft.nl
Software systems need to evolve, and systems built using model-driven approaches are no
exception. What complicates model-driven engineering is that it requires multiple …
exception. What complicates model-driven engineering is that it requires multiple …
Stratego/XT 0.17. A language and toolset for program transformation
M Bravenboer, KT Kalleberg, R Vermaas… - Science of computer …, 2008 - Elsevier
Stratego/XT is a language and toolset for program transformation. The Stratego language
provides rewrite rules for expressing basic transformations, programmable rewriting …
provides rewrite rules for expressing basic transformations, programmable rewriting …
Program transformation with Stratego/XT: Rules, strategies, tools, and systems in Stratego/XT 0.9
E Visser - … Seminar, Dagstuhl Castle, Germany, March 23-28 …, 2004 - Springer
Stratego/XT is a framework for the development of transformation systems aiming to support
a wide range of program transformations. The framework consists of the transformation …
a wide range of program transformations. The framework consists of the transformation …
WebDSL: A case study in domain-specific language engineering
E Visser - … Techniques in Software Engineering II: International …, 2008 - Springer
The goal of domain-specific languages (DSLs) is to increase the productivity of software
engineers by abstracting from low-level boilerplate code. Introduction of DSLs in the …
engineers by abstracting from low-level boilerplate code. Introduction of DSLs in the …
SugarJ: Library-based syntactic language extensibility
Existing approaches to extend a programming language with syntactic sugar often leave a
bitter taste, because they cannot be used with the same ease as the main extension …
bitter taste, because they cannot be used with the same ease as the main extension …
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions
M Bravenboer, E Visser - Proceedings of the 19th annual ACM SIGPLAN …, 2004 - dl.acm.org
Application programmer's interfaces give access to domain knowledge encapsulated in
class libraries without providing the appropriate notation for expressing domain composition …
class libraries without providing the appropriate notation for expressing domain composition …
A survey of strategies in rule-based program transformation systems
E Visser - Journal of symbolic computation, 2005 - Elsevier
Program transformation is the mechanical manipulation of a program in order to improve it
relative to some cost function and is understood broadly as the domain of computation …
relative to some cost function and is understood broadly as the domain of computation …
JunGL: a scripting language for refactoring
M Verbaere, R Ettinger, O De Moor - Proceedings of the 28th …, 2006 - dl.acm.org
Refactorings are behaviour-preserving program transformations, typically for improving the
structure of existing code. A few of these transformations have been mechanised in …
structure of existing code. A few of these transformations have been mechanised in …