|
[13] |
M. Askari and R. Al-Ekram.
Bringing Smalltalk Blocks to Java
through Transformation Techniques.
(pdf, bib).
|
| [14] |
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).
|
| [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] |
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).
|
| [18] |
A. Borghi, V. David, and A. Demaille.
C-Transformers: A Framework to Write C Program
Transformations.
(bib).
|
| [19] |
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).
|
| [20] |
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).
|
| [21] |
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).
|
| [22] |
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).
|
| [23] |
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).
|
| [24] |
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).
|
| [25] |
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).
|
| [26] |
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).
|
| [27] |
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).
|
| [28] |
M. Bravenboer and E. Visser.
Designing Syntax Embeddings and Assimilations for
Language Libraries.
In MoDELS'07 Satellite Events Proceedings, Lecture Notes in
Computer Science, Nashville, USA, 2008. Springer.
Selected paper from the Workshop on Language Engineering (ATEM'07)
(bib).
|
| [29] |
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).
|
| [30] |
W. Caarls, P. P. Jonker, and H. Corporaal.
Algorithmic Skeletons for Stream Programming in
Embedded Heterogeneous Parallel Image Processing.
(bib).
|
| [31] |
V. David, A. Demaille, and O. Gournet.
Attribute Grammars for Modular Disambiguation.
(bib).
|
| [32] |
M. de Jonge.
A Pretty-Printer for Every Occasion.
In I. Ferguson, J. Gray, and L. Scott, editors, Proceedings of
the 2nd International Symposium on Constructing Software Engineering Tools
(CoSET2000?). University of Wollongong, Australia, 2000.
(bib).
|
| [33] |
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).
|
| [34] |
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).
|
| [35] |
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).
|
| [36] |
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).
|
| [37] |
A. Demaille, S. Peyronnet, and B. Sigoure.
Modeling of Sensor Networks Using XRM.
(bib).
|
| [38] |
E. Dolstra.
Functional Stratego.
In E. Visser, editor, Proceedings of the Second Stratego Users
Day (SUD'01), pages 10--17, 2001.
(bib).
|
| [39] |
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).
|
| [40] |
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).
|
| [41] |
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).
|
| [42] |
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).
|
| [43] |
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).
|
| [44] |
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).
|
| [45] |
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).
|
| [46] |
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).
|
| [47] |
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).
|
| [48] |
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).
|
| [49] |
R. Kieburtz.
A Logic for Rewriting Strategies.
In Workshop on Strategies in Automated Deduction, Siena, Italy,
2001.
(bib).
|
| [50] |
P. Klint and E. Visser.
Using
Filters for the Disambiguation of Context-free Grammars.
In G. Pighizzini and P. San Pietro, editors, Proc. ASMICS
Workshop on Parsing Theory, pages 1--20, Milano, Italy, October 1994. Tech.
Rep. 126--1994, Dipartimento di Scienze dell'Informazione, Università di
Milano.
(psgz,
psz, bib).
|
| [51] |
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).
|
| [52] |
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).
|
| [53] |
F. Latry, J. Mercadal, and C. Consel.
Processing Domain-Specific Modeling Languages: A
Case Study in Telephony Services.
(bib).
|
| [54] |
B. Luttik and E. Visser.
Specification of Rewriting Strategies.
In M. P. A. Sellink, editor, 2nd International Workshop on the
Theory and Practice of Algebraic Specifications (ASF+SDF'97), Electronic
Workshops in Computing, Berlin, November 1997. Springer-Verlag.
(psgz,
bib).
|
| [55] |
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).
|
| [56] |
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).
|
| [57] |
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).
|
| [58] |
J. Riehl.
Assimilating MetaBorg: Embedding language tools in
languages.
In GPCE'06.
(bib).
|
| [59] |
É. Tanter.
An Extensible
Kernel Language for AOP.
In Proceedings of AOSD Workshop on Open and Dynamic Aspect
Languages, Bonn, Germany, 2006.
(pdf, bib).
|
| [60] |
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).
|
| [61] |
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).
|
| [62] |
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).
|
| [63] |
E. Visser.
A Case
Study in Optimizing Parsing Schemata by Disambiguation Filters.
In International Workshop on Parsing Technology (IWPT'97),
pages 210--224, Boston, USA, September 1997. Massachusetts Institute of
Technology.
(psgz,
bib).
|
| [64] |
E. Visser.
Strategic
Pattern Matching.
In P. Narendran and M. Rusinowitch, editors, Rewriting
Techniques and Applications (RTA'99), volume 1631 of Lecture Notes in
Computer Science, pages 30--44, Trento, Italy, July 1999. Springer-Verlag.
(psgz,
bib).
|
| [65] |
E. Visser.
Language
Independent Traversals for Program Transformation.
In J. Jeuring, editor, Workshop on Generic Programming
(WGP'00), Ponte de Lima, Portugal, July 2000. Technical Report
UU-CS-2000-19, Department of Information and Computing Sciences, Universiteit
Utrecht.
(psgz,
bib).
|
| [66] |
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).
|
| [67] |
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).
|
| [68] |
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).
|
| [69] |
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).
|
| [70] |
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).
|
| [71] |
E. Visser and Z.-e.-A. Benaissa.
A Core
Language for Rewriting.
In C. Kirchner and H. Kirchner, editors, Second International
Workshop on Rewriting Logic and its Applications (WRLA'98), volume 15 of
Electronic Notes in Theoretical Computer Science, Pont-à-Mousson,
France, September 1998. Elsevier Science Publishers.
(psgz,
bib).
|
| [72] |
E. Visser, Z.-e.-A. Benaissa, and A. Tolmach.
Building Program
Optimizers with Rewriting Strategies.
In Proceedings of the third ACM SIGPLAN International Conference
on Functional Programming (ICFP'98), pages 13--26. ACM Press, September
1998.
(psgz,
bib).
|
| [73] |
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). |
