Algebraic specification
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
The first international symposium on Constructing Software Engineering Tools (CoSET '99)
Proceedings of the 21st international conference on Software engineering
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
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
Compilation and Memory Management for ASF+SDF
CC '99 Proceedings of the 8th International Conference on Compiler Construction, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Meta-programming with Concrete Object Syntax
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
A Strafunski Application Letter
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
On Concept-Based Definition of Domain-Specific Languages
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Compiler Construction Using LOTOS NT
CC '02 Proceedings of the 11th International Conference on Compiler Construction
Disambiguation Filters for Scannerless Generalized LR Parsers
CC '02 Proceedings of the 11th International Conference on Compiler Construction
Language Parametric Module Management for IDEs
Electronic Notes in Theoretical Computer Science (ENTCS)
Stratego/XT 0.17. A language and toolset for program transformation
Science of Computer Programming
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Towards Formal Verification of ToolBus Scripts
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Language and Automata Theory and Applications
Model-Driven Engineering Meets Generic Language Technology
Software Language Engineering
Generating Rewritable Abstract Syntax Trees
Software Language Engineering
DeFacto: Language-Parametric Fact Extraction from Source Code
Software Language Engineering
A Case Study in Grammar Engineering
Software Language Engineering
Faster Scannerless GLR Parsing
CC '09 Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A Formal Way from Text to Code Templates
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Using Metrics for Assessing the Quality of ASF+SDF Model Transformations
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Writing Composable Software with InterpreterLib
SC '09 Proceedings of the 8th International Conference on Software Composition
TomML: A Rule Language for Structured Data
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Syntactic Language Extension via an Algebra of Languages and Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating Textual and Graphical Modelling Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
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
A rule-based approach to XML processing and web reasoning
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
The third rewrite engines competition
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
EASY meta-programming with Rascal
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Lightweight language processing in Kiama
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Delta-oriented architectural variability using MontiCore
Proceedings of the 5th European Conference on Software Architecture: Companion Volume
Growing a language environment with editor libraries
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Type-driven automatic quotation of concrete object code in meta programs
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Automated translation and analysis of a ToolBus script for auctions
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
GEC: a toolkit for generic rapid prototyping of type safe interactive applications
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
A comparison of configuration techniques for model transformations
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Applications of the ASF+SDF meta-environment
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Agile parsing to transform web applications
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Co-transformations in database applications evolution
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Term rewriting meets aspect-oriented programming
Processes, Terms and Cycles
A simple generic library for c
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Extracting structured data from natural language documents with island parsing
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Component-based description of programming languages
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Analysing the control software of the compact muon solenoid experiment at the large hadron collider
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Incremental programming language development
Computer Languages, Systems and Structures
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
RLSRunner: linking rascal with k for program analysis
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Program analysis scenarios in rascal
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Feature-oriented language families: a case study
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Banana Algebra: Compositional syntactic language extension
Science of Computer Programming
Can undergraduates script their own refactorings?
Proceedings of the 2013 ACM workshop on Workshop on refactoring tools
Hi-index | 0.00 |
The Asf+Sdf Meta-environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for them. Over the years, this system has been used in a variety of academic and commercial projects ranging from formal program manipulation to conversion of COBOL systems. Since the existing implementation of the Meta-environment started exhibiting more and more characteristics of a legacy system, we decided to build a completely new, component-based, version. We demonstrate this new system and stress its open architecture.