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 …

[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 …

Flashfill++: Scaling programming by example by cutting to the chase

J Cambronero, S Gulwani, V Le, D Perelman… - Proceedings of the …, 2023 - dl.acm.org
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 …

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 prototyping language descriptions, tools and applications. TXL is designed to allow …

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 …

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 …

Toward an engineering discipline for grammarware

P Klint, R Lämmel, C Verhoef - ACM Transactions on Software …, 2005 - dl.acm.org
Grammarware comprises grammars and all grammar-dependent software. The term
grammar is meant here in the sense of all established grammar formalisms and grammar …

SugarJ: Library-based syntactic language extensibility

S Erdweg, T Rendel, C Kästner… - Proceedings of the 2011 …, 2011 - dl.acm.org
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 …

[图书][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 …

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 …