|
[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). |
|
[14] |
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).
|
| [15] |
A. H. Bagge and K. T. Kalleberg.
DSAL = library+notation: Program Transformation for
Domain-Specific Aspect Languages.
In DSAL'06, 2006.
(bib).
|
| [16] |
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).
|
| [17] |
M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser.
Stratego/XT Tutorial, Examples, and Reference Manual (latest).
Department of Information and Computing Sciences, Universiteit
Utrecht, Utrecht, The Netherlands, 2006.
http://www.strategoxt.org
(html, 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] |
M. Bravenboer, A. van Dam, K. Olmos, and E. Visser.
Program Transformation with Scoped Dynamic Rewrite
Rules.
Fundamenta Informaticae, 69(1--2):123--178, 2006.
(article,
journal,
tr,
pdf,
bib).
|
| [21] |
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).
|
| [22] |
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).
|
| [23] |
É. Tanter.
An Extensible
Kernel Language for AOP.
In Proceedings of AOSD Workshop on Open and Dynamic Aspect
Languages, Bonn, Germany, 2006.
(pdf, bib).
|
| [24] |
E. Visser.
The Stratego/XT BibTeX Tools. Tool documentation.
Department of Information and Computing Sciences, Universiteit
Utrecht, Utrecht, The Netherlands, 0.3pre edition, August 2006.
(Draft)
(wiki,
release,
pdf, bib). |
|
[25] |
A. H. Bagge, M. Bravenboer, K. T. Kalleberg, K. Muilwijk, and E. Visser.
Adaptive
Code Reuse by Aspects, Cloning and Renaming.
Technical Report UU-CS-2005-031, Department of Information and
Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands, August
2005.
(pdf,
tr,
bib).
|
| [26] |
M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser.
Stratego/XT Tutorial, Examples, and Reference Manual for Stratego/XT 0.16.
Department of Information and Computing Sciences, Universiteit
Utrecht, Utrecht, The Netherlands, November 2005.
(html, bib).
|
| [27] |
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).
|
| [28] |
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).
|
| [29] |
R. de Groot.
Design and
Implementation of Embedded Domain-Specific Languages.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
September 2005.
INF/SCR-05-10 (pdf,
bib).
|
| [30] |
N. Janssen.
Transformation
Tool Composition.
Master's thesis, Utrecht University, Utrecht, The Netherlands, March
2005.
INF/SCR-04-64 (pdf,
bib).
|
| [31] |
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).
|
| [32] |
R. van Beusekom.
A Vectorizer for
Octave.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
February 2005.
INF/SRC-04-53 (pdf,
bib).
|
| [33] |
E. Visser.
A Survey of
Strategies in Rule-Based Program Transformation Systems.
Journal of Symbolic Computation, 40(1):831--873, 2005.
Special issue on Reduction Strategies in Rewriting and Programming
(doi,
jsc,
info,
tr,
pdf,
bib).
|
| [34] |
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).
|
| [35] |
E. Visser.
The Stratego/XT BibTeX Tools. Tool documentation.
Department of Information and Computing Sciences, Universiteit
Utrecht, Utrecht, The Netherlands, 0.2 edition, November 2005.
(wiki,
release,
pdf, bib).
|
| [36] |
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). |
|
[37] |
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).
|
| [38] |
M. Bravenboer and E. Visser.
Reusable and
Adaptable Strategies for Generative Programming.
In M. Haveraaen et al., editors, GPCE Software Transformation
Systems Workshop (STSW'04), Vancouver, Canada, October 2004.
Position paper
(pdf,
sts, bib).
|
| [39] |
B. Fischer and E. Visser.
Retrofitting the AutoBayes Program Synthesis System with Concrete Object
Syntax.
In C. Lengauer et al., editors, Domain-Specific Program
Generation, volume 3016 of Lecture Notes in Computer Science, pages
239--253. Spinger-Verlag, 2004.
(pdf,
info,
springer,
bib).
|
| [40] |
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).
|
| [41] |
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).
|
| [42] |
A. van Dam.
Extending Dynamic
Rules. An Application-Oriented Study into Stratego's new Dynamic Rules.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
February 2004.
INF/SCR-04-25 (pdf,
bib).
|
| [43] |
R. B. Vermaas.
xDoc. An
extensible documentation generator.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
February 2004.
INF/SCR-03-41 (pdf,
bib).
|
| [44] |
E. Visser.
Program
Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in
StrategoXT-0.9.
In C. Lengauer et al., editors, Domain-Specific Program
Generation, volume 3016 of Lecture Notes in Computer Science, pages
216--238. Spinger-Verlag, June 2004.
(springer,
tr,
pdf,
info, bib).
|
| [45] |
E. Visser.
Strategies for
Program Transformation.
2004.
Draft book. Superseded by Stratego/XT manual.
(info, bib). |
|
[46] |
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).
|
| [47] |
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).
|
| [48] |
M. Bravenboer.
Connecting XML
Processing and Term Rewriting with Tree Grammars.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
November 2003.
(pdf,
bib).
|
| [49] |
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).
|
| [50] |
P. Johann and E. Visser.
Strategies for Fusing Logic and Control via Local, Application-Specific
Transformations.
Technical Report UU-CS-2003-050, Institute of Information and
Computing Sciences, Utrecht University, February 2003.
(info, pdf,
bib).
|
| [51] |
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).
|
| [52] |
J. Kruger.
Specification of
Loop Optimizations In Stratego. Improving the AutoBayes System.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
November 2003.
(pdf,
bib).
|
| [53] |
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).
|
| [54] |
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).
|
| [55] |
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).
|
| [56] |
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).
|
| [57] |
E. Visser.
Stratego Wiki / Lift Definitions to Top
Level.
http://www.stratego-language.org/Stratego/LiftDefinitionsToTopLevel,
August 2003.
Notes on component of the Stratego Compiler
(bib).
|
| [58] |
J. Wijngaardenvan Wijngaarden and E. Visser.
Program Transformation Mechanics. A Classification of Mechanisms for Program
Transformation with a Survey of Existing Transformation Systems.
Technical Report UU-CS-2003-048, Institute of Information and
Computing Sciences, Utrecht University., May 2003.
(pdf,
info, bib). |
|
[59] |
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).
|
| [60] |
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).
|
| [61] |
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).
|
| [62] |
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).
|
| [63] |
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).
|
| [64] |
L. Swart.
Partial Evaluation
using Rewrite Rules. A Specification of a Partial Evaluator for Similix
in Stratego.
Master's thesis, Utrecht University, Utrecht, The Netherlands, August
2002.
INF/SCR-2002-12
(pdf,
bib).
|
| [65] |
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).
|
| [66] |
E. Visser.
Tiger in
Stratego: An Exercise in Compilation by Transformation.
Institute of Information and Computing Sciences, Utrecht University,
2002.
Technical Documentation.
(wiki,
bib).
|
| [67] |
H. Westra.
Configurable
Transformations for High-Quality Automatic Program Improvement. CobolX: a
case study.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
February 2002.
(pdf,
bib). |
|
[68] |
M. Bravenboer and E. Visser.
Guiding
Visitors: Separating Navigation from Computation.
Technical Report UU-CS-2001-42, Institute of Information and
Computing Sciences, Utrecht University, 2001.
(pdf,
tr,
bib).
|
| [69] |
A. de Bruijn.
Implementation of Inlining in Stratego.
Master's thesis, Utrecht University, Utrecht, The Netherlands, August
2001.
(pdf,
psgz,
bib).
|
| [70] |
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).
|
| [71] |
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).
|
| [72] |
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).
|
| [73] |
E. Dolstra.
Functional Stratego.
In E. Visser, editor, Proceedings of the Second Stratego Users
Day (SUD'01), pages 10--17, 2001.
(bib).
|
| [74] |
E. Dolstra.
First-class
Rules and Generic Traversal for Program Transformation Languages.
Master's thesis, Utrecht University, Utrecht, The Netherlands, August
2001.
INF/SCR-2001-15
(psgz,
bib).
|
| [75] |
E. Dolstra and E. Visser.
First-class
Rules and Generic Traversal.
Technical Report UU-CS-2001-38, Institute of Information and
Computing Sciences, Utrecht University, Utrecht, The Netherlands, 2001.
(pdf,
bib).
|
| [76] |
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).
|
| [77] |
R. Kieburtz.
A Logic for Rewriting Strategies.
In Workshop on Strategies in Automated Deduction, Siena, Italy,
2001.
(bib).
|
| [78] |
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).
|
| [79] |
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).
|
| [80] |
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).
|
| [81] |
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). |
|
[82] |
O. S. Bagge, M. Haveraaen, and E. Visser.
A C++ Transformation Framework (Extended
Abstract).
In Proceedings of the Nordic Workshop on Programming Theory
(NWPT'00), Bergen, Norway, October 2000.
(bib).
|
| [83] |
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).
|
| [84] |
E. Dolstra and H. Westra.
Transformaties op Mondrian met Stratego.
Term paper (in dutch) http://www.cs.uu.nl/~visser/ftp/DW00.pdf
Utrecht University (bib), July 2000.
|
| [85] |
P. Johann and E. Visser.
Warm
Fusion in Stratego: A Case Study in the Generation of Program
Transformation Systems.
Annals of Mathematics and Artificial Intelligence,
29(1--4):1--34, 2000.
(psgz,
bib).
|
| [86] |
K. J. Olmos.
Reverse Engineering Transformations for DSP Code
Generation.
Master's thesis, Utrecht University and Universidad Mayor de San
Simón, Utrecht, The Netherlands, November 2000.
(bib).
|
| [87] |
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). |
|
[93] |
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).
|
| [94] |
E. Visser.
Character Classes.
Technical Report P9708, Programming Research Group, University of
Amsterdam, August 1997.
(psgz,
bib).
|
| [95] |
E. Visser.
Syntax Definition for Language Prototyping.
PhD? thesis, University of Amsterdam, September 1997.
(psgz,
bib).
|
| [96] |
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).
|
| [97] |
E. Visser.
A Family
of Syntax Definition Formalisms.
Technical Report P9706, Programming Research Group, University of
Amsterdam, July 1997.
(psgz,
bib).
|
| [98] |
E. Visser.
Scannerless Generalized-LR Parsing.
Technical Report P9707, Programming Research Group, University of
Amsterdam, July 1997.
(psgz,
bib).
|
| [99] |
E. Visser.
From
Context-free Grammars with Priorities to Character Class Grammars.
In Liber Amicorum Paul Klint. CWI, Amsterdam, November 1997.
(psgz,
bib). |
|
[100] |
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).
|
| [101] |
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).
|
| [102] |
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). |
