Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[PDF][PDF] Model-driven software evolution: A research agenda
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 …
Parsing expression grammars: a recognition-based syntactic foundation
B Ford - Proceedings of the 31st ACM SIGPLAN-SIGACT …, 2004 - dl.acm.org
For decades we have been using Chomsky's generative system of grammars, particularly
context-free grammars (CFGs) and regular expressions (REs), to express the syntax of …
context-free grammars (CFGs) and regular expressions (REs), to express the syntax of …
Flashfill++: Scaling programming by example by cutting to the chase
Programming-by-Examples (PBE) involves synthesizing an" intended program" from a small
set of user-provided input-output examples. A key PBE strategy has been to restrict the …
set of user-provided input-output examples. A key PBE strategy has been to restrict the …
The TXL source transformation language
JR Cordy - Science of Computer Programming, 2006 - Elsevier
TXL is a special-purpose programming language designed for creating, manipulating and
rapidly prototy** language descriptions, tools and applications. TXL is designed to allow …
rapidly prototy** language descriptions, tools and applications. TXL is designed to allow …
Stratego/XT 0.17. A language and toolset for program transformation
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 …
Packrat parsing: simple, powerful, lazy, linear time, functional pearl
B Ford - ACM SIGPLAN Notices, 2002 - dl.acm.org
Packrat parsing is a novel technique for implementing parsers in a lazy functional
programming language. A packrat parser provides the power and flexibility of top-down …
programming language. A packrat parser provides the power and flexibility of top-down …
Toward an engineering discipline for grammarware
Grammarware comprises grammars and all grammar-dependent software. The term
grammar is meant here in the sense of all established grammar formalisms and grammar …
grammar is meant here in the sense of all established grammar formalisms and grammar …
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
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 …
[BOG][B] CASL reference manual: The complete documentation of the common algebraic specification language
PD Mosses - 2004 - books.google.com
CASL, the Common Algebraic Specification Language, was designed by the members of
CoFI, the Common Framework Initiative for algebraic specification and development, and is …
CoFI, the Common Framework Initiative for algebraic specification and development, and is …