On the impact of DSL tools on the maintainability of language implementations
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
The spoofax language workbench: rules for declarative specification of languages and IDEs
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Prototyping a tool environment for run-time assertion checking in JML with communication histories
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs
The third rewrite engines competition
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Excerpts from the TXL cookbook
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
EASY meta-programming with Rascal
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Bringing domain-specific languages to digital forensics
Proceedings of the 33rd International Conference on Software Engineering
Less is more: unparser-completeness of metalanguages for template engines
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Pattern matching for the masses using custom notations
Science of Computer Programming
Let's make refactoring tools user-extensible!
Proceedings of the Fifth Workshop on Refactoring Tools
Scripting a refactoring with Rascal and Eclipse
Proceedings of the Fifth Workshop on Refactoring Tools
Integrating attribute grammar and functional programming language features
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
RLSRunner: linking rascal with k for program analysis
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
A K-based formal framework for domain-specific modelling languages
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Domain-Specific optimization in digital forensics
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Game developers need lua air: static analysis of lua using interface models
ICEC'12 Proceedings of the 11th international conference on Entertainment Computing
Program analysis scenarios in rascal
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
A meta-circular language for active libraries
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Dual analysis for proving safety and finding bugs
Science of Computer Programming
Proceedings of the 28th Annual ACM Symposium on Applied Computing
An empirical study of PHP feature usage: a static analysis perspective
Proceedings of the 2013 International Symposium on Software Testing and Analysis
A case study in evidence-based DSL evolution
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Hi-index | 0.00 |
Many automated software engineering tools require tight integration of techniques for source code analysis and manipulation. State-of-the-art tools exist for both, but the domains have remained notoriously separate because different computational paradigms fit each domain best. This impedance mismatch hampers the development of new solutions because the desired functionality and scalability can only be achieved by repeated and ad hoc integration of different techniques. Rascal is a domain-specific language that takes away most of this boilerplate by integrating source code analysis and manipulation at the conceptual, syntactic, semantic and technical level. We give an overview of the language and assess its merits by implementing a complex refactoring.