ITU

Syntactic Language Extension via an Algebra of Languages and Transformations

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Standard

Syntactic Language Extension via an Algebra of Languages and Transformations. / Andersen, Jacob; Brabrand, Claus.

In: Electronic Notes in Theoretical Computer Science, Vol. 253, No. 7, 2010, p. 19-35.

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Harvard

APA

Vancouver

Author

Bibtex

@inproceedings{9eb3df0097b011de8664000ea68e967b,
title = "Syntactic Language Extension via an Algebra of Languages and Transformations",
abstract = "We propose an algebra of languages and transformations as a means for extendinglanguages syntactically. The algebra provides a layer of high-level abstractionsbuilt on top of languages (captured by context-free grammars) and transformations(captured by constructive catamorphisms).The algebra is self-contained in that any term of the algebra specifying a transformationcan be reduced to a catamorphism, before the transformation is run. Thus,the algebra comes {"}for free{"} without sacri cing the strong safety and efficiencyproperties of constructive catamorphisms.The entire algebra as presented in the paper is implemented as the Banana AlgebraTool which may be used to syntactically extend languages in an incrementaland modular fashion via algebraic composition of previously de ned languages andtransformations. We demonstrate and evaluate the tool via several kinds of extensions.",
author = "Jacob Andersen and Claus Brabrand",
year = "2010",
language = "English",
volume = "253",
pages = "19--35",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Pergamon Press",
number = "7",
note = "null ; Conference date: 27-03-2009 Through 28-03-2009",

}

RIS

TY - GEN

T1 - Syntactic Language Extension via an Algebra of Languages and Transformations

AU - Andersen, Jacob

AU - Brabrand, Claus

N1 - Conference code: 9

PY - 2010

Y1 - 2010

N2 - We propose an algebra of languages and transformations as a means for extendinglanguages syntactically. The algebra provides a layer of high-level abstractionsbuilt on top of languages (captured by context-free grammars) and transformations(captured by constructive catamorphisms).The algebra is self-contained in that any term of the algebra specifying a transformationcan be reduced to a catamorphism, before the transformation is run. Thus,the algebra comes "for free" without sacri cing the strong safety and efficiencyproperties of constructive catamorphisms.The entire algebra as presented in the paper is implemented as the Banana AlgebraTool which may be used to syntactically extend languages in an incrementaland modular fashion via algebraic composition of previously de ned languages andtransformations. We demonstrate and evaluate the tool via several kinds of extensions.

AB - We propose an algebra of languages and transformations as a means for extendinglanguages syntactically. The algebra provides a layer of high-level abstractionsbuilt on top of languages (captured by context-free grammars) and transformations(captured by constructive catamorphisms).The algebra is self-contained in that any term of the algebra specifying a transformationcan be reduced to a catamorphism, before the transformation is run. Thus,the algebra comes "for free" without sacri cing the strong safety and efficiencyproperties of constructive catamorphisms.The entire algebra as presented in the paper is implemented as the Banana AlgebraTool which may be used to syntactically extend languages in an incrementaland modular fashion via algebraic composition of previously de ned languages andtransformations. We demonstrate and evaluate the tool via several kinds of extensions.

M3 - Conference article

VL - 253

SP - 19

EP - 35

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 7

Y2 - 27 March 2009 through 28 March 2009

ER -

ID: 31645704