Algebraic specification
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
Action semantics
A meta-environment for generating programming environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generation of formatters for context-free languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Building program optimizers with rewriting strategies
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
The discrete time TOOLBUS—a software coordination architecture
Science of Computer Programming
Generation of components for software renovation factories from context-free grammars
Science of Computer Programming - Special issue on WCRE 97
Software—Practice & Experience
Language Prototyping: An Algebraic Specification Approach: Vol. V
Language Prototyping: An Algebraic Specification Approach: Vol. V
Compiling language definitions: the ASF+SDF compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Composing programming languages by combining action-semantics modules
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
Introduction to Attributed Grammars
Proceedings on Attribute Grammars, Applications and Systems
Development of Parsing Tools for CASL Using Generic Language Technology
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Industrial Applications of ASF+SDF
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Stratego: A Language for Program Transformation Based on Rewriting Strategies
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
The ASF+SDF Meta-environment: A Component-Based Language Development Environment
CC '01 Proceedings of the 10th International Conference on Compiler Construction
Disambiguation Filters for Scannerless Generalized LR Parsers
CC '02 Proceedings of the 11th International Conference on Compiler Construction
Term rewriting with traversal functions
ACM Transactions on Software Engineering and Methodology (TOSEM)
DMS®: Program Transformations for Practical Scalable Software Evolution
Proceedings of the 26th International Conference on Software Engineering
Revitalizing modifiability of legacy assets: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Seventh European Conference on Software Maintenance and Reengineering (CSMR 2003)
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
TXL - A Language for Programming Language Tools and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Co-transformations in Information System Reengineering
Electronic Notes in Theoretical Computer Science (ENTCS)
A pattern matching compiler for multiple target languages
CC'03 Proceedings of the 12th international conference on Compiler construction
CC'05 Proceedings of the 14th international conference on Compiler Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Domain-Specific Languages for Composable Editor Plugins
Electronic Notes in Theoretical Computer Science (ENTCS)
The third rewrite engines competition
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Hi-index | 0.00 |
Generic language technology research focuses on the development of fundamental techniques for language processing. The Asf+Sdf Meta-Environment, an interactive development environment for the automatic generation of interactive systems, is an example of research in this field. The Meta-Environment has been applied in various projects in order to enable the development of high quality tools for the analysis and transformation of large software systems written in languages such as C, Java, Cobol, and PL/I. The Meta-Environment offers the interactive construction of language definitions and the generation of tools given these definitions. Over the years, this system has been used in a variety of academic and industrial projects ranging from formal program manipulation to conversion of industrial Cobol systems.