|
[5] |
P. Avgustinov, E. Hajiyev, N. Ongkingco, O. de Moor, D. Sereni, J. Tibble, and
M. Verbaere.
Semantics of static pointcuts in AspectJ.
In POPL'07, 2007.
(bib).
|
| [6] |
E. Bouwers, M. Bravenboer, and E. Visser.
Grammar Engineering Support for Precedence Rule Recovery and Compatibility
Checking.
In A. Sloane and A. Johnstone, editors, Seventh Workshop on
Language Descriptions, Tools, and Applications (LDTA'07), pages 82--96,
Braga, Portugal, March 2007.
(pdf, bib).
|
| [7] |
M. Bravenboer, E. Dolstra, and E. Visser.
Preventing
Injection Attacks with Syntax Embeddings. A Host and Guest Language
Independent Approach.
In J. Lawall, editor, Generative Programming and Component
Engineering (GPCE'07), pages 3--12, New York, NY, USA, October 2007. ACM.
(doi,
pdf, bib).
|
| [8] |
M. Bravenboer and E. Visser.
Designing Syntax Embeddings and Assimilations for
Language Libraries.
In 4th International Workshop on Software Language Engineering
(ATEM'07), volume 4/2007 of Mainzer InformatikBerichte, pages
100--116, Nashville, USA, 2007. Johannes Gutenberg Universität.
(bib).
|
| [9] |
J. Fabry, E. Tanter, and T. D'Hondt.
ReLAx: Implementing KALA over the
Reflex AOP Kernel.
In Proceedings of the 2nd Workshop on Domain-Specific Aspect
Languages (DSAL 2007), Vancouver, Canada, March 2007. ACM.
(bib).
|
| [10] |
L. Hamey and S. Goldrei.
Implementing a Domain-Specific Language using
Stratego/XT.
In A. Sloane and A. Johnstone, editors, Seventh Workshop on
Language Descriptions, Tools, and Applications (LDTA'07), pages 32--46,
Braga, Portugal, March 2007.
(bib).
|
| [11] |
K. T. Kalleberg and E. Visser.
Fusing a Transformation Language with an Open
Compiler.
In A. Sloane and A. Johnstone, editors, Seventh Workshop on
Language Descriptions, Tools, and Applications (LDTA'07), pages 18--31,
Braga, Portugal, March 2007.
(bib).
|
| [12] |
K. T. Kalleberg and E. Visser.
Spoofax: An Interactive Development
Environment for Program Transformation with Stratego/XT.
In A. Sloane and A. Johnstone, editors, Seventh Workshop on
Language Descriptions, Tools, and Applications (LDTA'07), pages 47--50,
Braga, Portugal, March 2007.
(bib).
|
| [13] |
E. Visser.
Domain-Specific Language Engineering.
In R. Lämmel, J. Saraiva, and J. Visser, editors, Generative
and Transformational Techniques in Software Engineering (GTTSE 2007), pages
265--318, Braga, Portugal, July 2007. Universidade do Minho.
International Summer School GTTSE 2007, Pre-Proceedings
(pdf,
blog, bib). |
|
[15] |
A. H. Bagge, V. David, M. Haveraaen, and K. T. Kalleberg.
Stayin' alert: moulding failure and exceptions to
your needs.
In GPCE'06, 2006.
(bib).
|
| [16] |
A. H. Bagge and K. T. Kalleberg.
DSAL = library+notation: Program Transformation for
Domain-Specific Aspect Languages.
In DSAL'06, 2006.
(bib).
|
| [17] |
M. Bravenboer, R. de Groot, and E. Visser.
MetaBorg in Action:
Examples of Domain-specific Language Embedding and Assimilation using
Stratego/XT.
In R. Lämmel and J. Saraiva, editors, Proceedings of the
Summer School on Generative and Transformational Techniques in Software
Engineering (GTTSE'05), volume 4143 of Lecture Notes in Computer
Science, pages 297--311, Braga, Portugal, 2006. Springer Verlag.
(springer,
pdf,
gttse,
tr,
bib).
|
| [18] |
M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser.
Stratego/XT 0.16. Components for Transformation Systems.
In ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program
Manipulation (PEPM'06), Charleston, South Carolina, January 2006. ACM
SIGPLAN.
(pdf,
tr,
acm,
bib).
|
| [19] |
M. Bravenboer, E. Tanter, and E. Visser.
Declarative,
Formal, and Extensible Syntax Definition for AspectJ. A Case for
Scannerless Generalized-LR Parsing.
In W. R. Cook, editor, Proceedings of the 21th ACM SIGPLAN
Conference on Object-Oriented Programing, Systems, Languages, and
Applications (OOPSLA'06), pages 209--228, Portland, Oregon, USA, October
2006. ACM Press.
(acm,
bib).
|
| [20] |
S. Fleissner and E. Baniassad.
A commensalistic
software system.
In Companion to the 21st ACM SIGPLAN conference on
Object-oriented programming systems, languages, and applications, pages 560
-- 573. ACM SIGPLAN, 2006.
(bib).
|
| [21] |
K. T. Kalleberg and E. Visser.
Combining
Aspect-Oriented and Strategic Programming.
In H. Cirstea and N. Marti-Oliet, editors, Workshop on
Rule-Based Programming (RULE'05), volume 147 of Electronic Notes in
Theoretical Computer Science, pages 5--30, Nara, Japan, 2006. Elsevier
Science Publishers.
(doi,
entcs,
pdf,
tr,
bib).
|
| [22] |
É. Tanter.
An Extensible
Kernel Language for AOP.
In Proceedings of AOSD Workshop on Open and Dynamic Aspect
Languages, Bonn, Germany, 2006.
(pdf, bib). |
|
[26] |
M. Bravenboer, R. Vermaas, J. Vinju, and E. Visser.
Generalized Type-Based Disambiguation of Meta Programs with Concrete Object
Syntax.
In R. Glück and M. Lowry, editors, Proceedings of the Fourth
International Conference on Generative Programming and Component Engineering
(GPCE'05), volume 3676 of Lecture Notes in Computer Science, pages
157--172, Tallinn, Estonia, September 2005. Springer.
(pdf,
tr,
gpce,
springer,
bib).
|
| [27] |
M. Buss, S. A. Edwards, B. Yao, and D. Waddington.
Pointer
Analysis for Source-to-Source Transformations.
In J. Krinke and G. Antoniol, editors, Fifth IEEE International
Workshop on Source Code Analysis and Manipulation (SCAM'05), Budapest,
Hungary, 2005. IEEE Computer Society Press.
(scam,
proteus,
bib).
|
| [28] |
K. Olmos and E. Visser.
Composing Source-to-Source
Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic
Rewrite Rules.
In R. Bodik, editor, 14th International Conference on Compiler
Construction (CC'05), volume 3443 of Lecture Notes in Computer
Science, pages 204--220. Springer-Verlag, April 2005.
(doi,
info,
tr,
pdf,
springer,
bib).
|
| [29] |
E. Visser.
Transformations for Abstractions.
In J. Krinke and G. Antoniol, editors, Fifth IEEE International
Workshop on Source Code Analysis and Manipulation (SCAM'05), pages 3--12,
Budapest, Hungary, October 2005. IEEE Computer Society Press.
(Keynote paper)
(tr,
pdf,
blog,
wiki, scam,
bib).
|
| [30] |
D. G. Waddington and B. Yao.
High Fidelity C++ Code Transformation.
In Proceedings of the 5th workshop on Language Descriptions,
Tools and Applications (LDTA 2005), Electronic Notes in Theoretical Computer
Science, Edinburgh University, UK, April 3 2005.
(ldta,
proteus,
bib). |
|
[40] |
M. Bravenboer and E. Visser.
Concrete Syntax for Objects. Domain-Specific Language Embedding and
Assimilation without Restrictions.
In D. C. Schmidt, editor, Proceedings of the 19th ACM SIGPLAN
Conference on Object-Oriented Programing, Systems, Languages, and
Applications (OOPSLA'04), pages 365--383, Vancouver, Canada, October 2004.
ACM Press.
(acm,
info,
pdf, bib).
|
| [41] |
B. Fischer and E. Visser.
Adding
Concrete Syntax to a Prolog-Based Program Synthesis System (Extended
Abstract).
In M. Bruynooghe, editor, 13th International Symposium Logic
Based Program Synthesis and Transformation: LOPSTR 2003, volume 3018 of Lecture Notes in Computer Science, pages 56--58, Heidelberg, November 2004.
Springer-Verlag.
(springer,
bib).
|
| [42] |
S. V. Goncharov, A. Y. Rudich, and Y. S. Usenko.
An
implementation of a linearization algorithm using rewriting
strategies.
In Proc. 1st International Conference on Theoretical and Applied
Aspects of Program Systems Development (TAAPSD'04), pages 13--17, Kyiv,
Ukraine, October 5-8 2004.
(bib). |
|
[46] |
O. S. Bagge, K. T. Kalleberg, M. Haveraaen, and E. Visser.
Design of the CodeBoost Transformation System for Domain-Specific
Optimisation of C++ Programs.
In D. Binkley and P. Tonella, editors, Third IEEE International
Workshop on Source Code Analysis and Manipulation (SCAM'03), pages 65--74,
Amsterdam, The Netherlands, September 2003. IEEE Computer Society Press.
(bib).
|
| [47] |
B. Fischer and E. Visser.
Adding Concrete Syntax to a Prolog-based Program
Synthesis System (Extended Abstract).
In M. Bruynooghe, editor, Preproceedings of the International
Symposium on Logic Based Program Synthesis and Transformation (LOPSTR'03),
number Report CW 365, pages 39--48, Uppsala, Sweden, August 2003. Department
of Computer Science, K. U. Leuven.
(info, bib).
|
| [48] |
R. Laemmel, E. Visser, and J. Visser.
Strategic Programming Meets Adaptive Programming.
In Proceedings of Aspect-Oriented Software Development
(AOSD'03), pages 168--177, Boston, USA, March 2003. ACM Press.
(bib).
|
| [49] |
K. Olmos and E. Visser.
Turning Dynamic Typing into Static Typing by Program Specialization.
In D. Binkley and P. Tonella, editors, Third IEEE International
Workshop on Source Code Analysis and Manipulation (SCAM'03), pages 141--150,
Amsterdam, The Netherlands, September 2003. IEEE Computer Society Press.
(ieee,
info,
tr,
pdf,
bib). |
|
[50] |
O. S. Bagge.
CodeBoost: A Framework for Transforming
C++ Programs.
Master's thesis, University of Bergen, P.O.Box 7800, N-5020 Bergen,
Norway, March 2003.
(bib).
|
| [51] |
M. Bravenboer.
Connecting XML
Processing and Term Rewriting with Tree Grammars.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
November 2003.
(pdf,
bib).
|
| [52] |
K. T. Kalleberg.
User-configurable, High-Level
Transformations with CodeBoost.
Master's thesis, University of Bergen, P.O.Box 7800, N-5020 Bergen,
Norway, March 2003.
(bib).
|
| [53] |
J. Kruger.
Specification of
Loop Optimizations In Stratego. Improving the AutoBayes System.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
November 2003.
(pdf,
bib).
|
| [54] |
A. van Dam.
Simplifying the
Simplifier. HsOpt: a modular, rewrite rule based simplifier for the Helium
compiler, a non-strict functional compiler.
Master's thesis, Utrecht University, Utrecht, The Netherlands, July
2003.
INF/SCR-03-25 (pdf,
bib).
|
| [55] |
J. van Wijngaarden.
Code Generation
from a Domain Specific Language. Designing and Implementing Complex Program
Transformations.
Master's thesis, Utrecht University, Utrecht, The Netherlands, July
2003.
INF/SCR-03-29 (pdf,
bib). |
|
[58] |
M. G. J. Brandvan den Brand, J. Scheerder, J. Vinju, and
E. Visser.
Disambiguation Filters for Scannerless Generalized LR Parsers.
In N. Horspool, editor, Compiler Construction (CC'02), volume
2304 of Lecture Notes in Computer Science, pages 143--158, Grenoble,
France, April 2002. Springer-Verlag.
(pdf,
psgz,
bib).
|
| [59] |
M. Bravenboer and E. Visser.
Rewriting
Strategies for Instruction Selection.
In S. Tison, editor, Rewriting Techniques and Applications
(RTA'02), volume 2378 of Lecture Notes in Computer Science, pages
237--251, Copenhagen, Denmark, July 2002. Springer-Verlag.
(pdf,
bib).
|
| [60] |
M. de Jonge.
Source Tree Composition.
In C. Gacek, editor, Proceedings: Seventh International
Conference on Software Reuse, volume 2319 of LNCS, pages 17--32.
Springer-Verlag, Apr. 2002.
(bib).
|
| [61] |
E. Dolstra and E. Visser.
Building
Interpreters with Rewriting Strategies.
In M. van den Brand and R. Laemmel, editors, Workshop on
Language Descriptions, Tools and Applications (LDTA'02), volume 65/3 of Electronic Notes in Theoretical Computer Science, Grenoble, France, April
2002. Elsevier Science Publishers.
(bib).
|
| [62] |
K. Olmos and E. Visser.
Strategies
for Source-to-Source Constant Propagation.
In B. Gramlich and S. Lucas, editors, Workshop on Reduction
Strategies (WRS'02), volume 70 of Electronic Notes in Theoretical
Computer Science, page 20, Copenhagen, Denmark, July 2002. Elsevier Science
Publishers.
(entcs,
pdf,
bib).
|
| [63] |
E. Visser.
Meta-Programming with Concrete Object Syntax.
In D. Batory, C. Consel, and W. Taha, editors, Generative
Programming and Component Engineering (GPCE'02), volume 2487 of Lecture
Notes in Computer Science, pages 299--315, Pittsburgh, PA, USA, October
2002. Springer-Verlag.
(pdf,
bib). |
|
[67] |
M. de Jonge and R. Monajemi.
Cost-Effective Maintenance Tools for Proprietary
Languages.
In Proceedings: International Conference on Software Maintenance
(ICSM 2001), pages 240--249. IEEE Computer Society Press, Nov. 2001.
(bib).
|
| [68] |
M. de Jonge, E. Visser, and J. Visser.
XT: A
Bundle of Program Transformation Tools.
In M. G. J. van den Brand and D. Parigot, editors, Workshop on
Language Descriptions, Tools and Applications (LDTA'01), volume 44 of Electronic Notes in Theoretical Computer Science. Elsevier Science
Publishers, April 2001.
(psgz,
entcs,
bib).
|
| [69] |
M. de Jonge and J. Visser.
XT Capita Selecta.
In E. Visser, editor, Proceedings of the Second Stratego Users
Day (SUD'01), pages 18--35. Institute for Information and Computing
Sciences, Utrecht University, February 2001.
(bib).
|
| [70] |
E. Dolstra.
Functional Stratego.
In E. Visser, editor, Proceedings of the Second Stratego Users
Day (SUD'01), pages 10--17, 2001.
(bib).
|
| [71] |
P. Johann and E. Visser.
Fusing Logic
and Control with Local Transformations: An Example Optimization.
In B. Gramlich and S. Lucas, editors, Workshop on Reduction
Strategies in Rewriting and Programming (WRS'01), volume 57 of Electronic Notes in Theoretical Computer Science, Utrecht, The Netherlands,
May 2001. Elsevier Science Publishers.
(pdf,
psgz,
bib).
|
| [72] |
R. Kieburtz.
A Logic for Rewriting Strategies.
In Workshop on Strategies in Automated Deduction, Siena, Italy,
2001.
(bib).
|
| [73] |
R. Lämmel.
Towards Typeful Stratego.
In E. Visser, editor, Proceedings of the Second Stratego Users
Day (SUD'01), pages 4--9. Institute for Information and Computing Sciences,
Utrecht University, February 2001.
(bib).
|
| [74] |
E. Visser.
Scoped
Dynamic Rewrite Rules.
In M. van den Brand and R. Verma, editors, Rule Based
Programming (RULE'01), volume 59/4 of Electronic Notes in Theoretical
Computer Science. Elsevier Science Publishers, September 2001.
(pdf,
psgz,
bib).
|
| [75] |
E. Visser.
A Survey
of Rewriting Strategies in Program Transformation Systems.
In B. Gramlich and S. Lucas, editors, Workshop on Reduction
Strategies in Rewriting and Programming (WRS'01), volume 57 of Electronic Notes in Theoretical Computer Science, Utrecht, The Netherlands,
May 2001. Elsevier Science Publishers.
(pdf,
psgz,
bib).
|
| [76] |
E. Visser.
Stratego:
A Language for Program Transformation based on Rewriting Strategies.
System Description of Stratego 0.5.
In A. Middeldorp, editor, Rewriting Techniques and Applications
(RTA'01), volume 2051 of Lecture Notes in Computer Science, pages
357--361. Springer-Verlag, May 2001.
(pdf,
psgz,
springer, bib). |
|
[99] |
E. Visser.
Polymorphic Syntax Definition (Extended Abstract).
In A. Nijholt, G. Scollo, and R. Steetskamp, editors, Algebraic Methods in Language Processing (AMILP'95), volume 10 of Twente Workshops in Language Technology, pages 43--54, Enschede, The
Netherlands, December 1995. Twente University of Technology.
(psgz,
bib).
|
| [100] |
E. Visser.
A Family of Syntax Definition Formalisms.
In M. G. J. Brandvan den Brand et al., editors, ASF+SDF'95. A Workshop on Generating Tools from Algebraic Specifications,
pages 89--126. Technical Report P9504, Programming Research Group, University
of Amsterdam, May 1995.
(psgz,
bib).
|
| [101] |
E. Visser.
A
Case Study in Optimizing Parsing Schemata by Disambiguation Filters.
In S. Fischer and M. Trautwein, editors, Proceedings
Accolade95, pages 153--167, Amsterdam, September 1995. The Dutch Graduate
School in Logic.
(bib). |
