Complexity of matching problems
Proc. of the first international conference on Rewriting techniques and applications
A compiler for conditional term rewriting systems
on Rewriting techniques and applications
Algebraic specification
The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
HLisp—its concept, implementation and applications
Journal of Information Processing
Handbook of theoretical computer science (vol. B)
Generating efficient code for lazy functional languages
Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
Compiling with continuations
A meta-environment for generating programming environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Space efficient conservative garbage collection
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Handbook of logic in computer science (vol. 2)
OPAL: design and implementation of an algebraic programming language
Proceedings of the international conference on Programming languages and system architectures
Garbage collection: algorithms for automatic dynamic memory management
Garbage collection: algorithms for automatic dynamic memory management
Little languages: little maintenance
Journal of Software Maintenance: Research and Practice
Advanced compiler design and implementation
Advanced compiler design and implementation
Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Alma-O: an imperative language that supports declarative programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
The discrete time TOOLBUS—a software coordination architecture
Science of Computer Programming
Journal of the ACM (JACM)
Generation of components for software renovation factories from context-free grammars
Science of Computer Programming - Special issue on WCRE 97
Software—Practice & Experience
A slicing-based approach for locating type errors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Anatomy of LISP
Research Issues in the Renovation of Legacy Systems
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Compiling Haskell by Program Transformation: A Report from the Trenches
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
A Transformation Tool for Pure Prolog Programs
LOPSTR '96 Proceedings of the 6th International Workshop on Logic Programming Synthesis and Transformation
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
Optimal Left-to-Right Pattern-Matching Automata
ALP '97-HOA '97 Proceedings of the 6th International Joint Conference on Algebraic and Logic Programming
C-: A Portable Assembly Language
IFL '97 Selected Papers from the 9th International Workshop on Implementation of Functional Languages
Development, Assessment, and Reengineering of Language Descriptions
CSMR '00 Proceedings of the Conference on Software Maintenance and Reengineering
Exploring Legacy Systems Using Types
WCRE '00 Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00)
Syntax and semantics of a high-level intermediate representation for ASF+SDF
Syntax and semantics of a high-level intermediate representation for ASF+SDF
A pretty-printer for every occasion
A pretty-printer for every occasion
Semantics of Manifold: Specification in ASF+SDF and Extension.
Semantics of Manifold: Specification in ASF+SDF and Extension.
Journal of Functional Programming
An algebraic programming style for numerical software and its optimization
Scientific Programming
A generic architecture for data flow analysis to support reverse engineering
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Term rewriting with traversal functions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated Software Engineering
A technique for constructing aspect weavers using a program transformation engine
Proceedings of the 3rd international conference on Aspect-oriented software development
Compiler implementation in a formal logical framework
MERLIN '03 Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
A New Architecture for Transformation-Based Generators
IEEE Transactions on Software Engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
The TXL source transformation language
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Evaluating GLR parsing algorithms
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Formal compiler construction in a logical framework
Higher-Order and Symbolic Computation
STAC: software tuning panels for autonomic control
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
ATerms for manipulation and exchange of structured data: It's all about sharing
Information and Software Technology
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
An Account of Implementing Applicative Term Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Canonical Abstract Syntax Trees
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic recursion engineering of reduction incorporated parsers
Science of Computer Programming
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
An Extensible Meta-Model for Program Analysis
IEEE Transactions on Software Engineering
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
A stepwise approach to developing languages for SIP telephony service creation
Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications
Unparsed patterns: easy user-extensibility of program manipulation tools
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Electronic Notes in Theoretical Computer Science (ENTCS)
Developing and debugging algebraic specifications for Java classes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Domain specific language implementation via compile-time meta-programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Grammar-driven generation of domain-specific language debuggers
Software—Practice & Experience
SASyLF: an educational proof assistant for language theory
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Compilation as Rewriting in Higher Order Logic
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Towards Concrete Syntax Patterns for Logic-based Transformation Rules
Electronic Notes in Theoretical Computer Science (ENTCS)
WebDSL: A Case Study in Domain-Specific Language Engineering
Generative and Transformational Techniques in Software Engineering II
Generative and Transformational Techniques in Software Engineering II
Equality saturation: a new approach to optimization
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A rewriting logic approach to operational semantics
Information and Computation
The Second Rewrite Engines Competition
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Unit Testing for Domain-Specific Languages
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstract Interpretation of Functional Programs using an Attribute Grammar System
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Recursion Engineering for Reduction Incorporated Parsers
Electronic Notes in Theoretical Computer Science (ENTCS)
TIDE: A Generic Debugging Framework --- Tool Demonstration ---
Electronic Notes in Theoretical Computer Science (ENTCS)
An Integrated Development Environment for Pattern Matching Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
TXL - A Language for Programming Language Tools and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
The Grammar Tool Box: A Case Study Comparing GLR Parsing Algorithms
Electronic Notes in Theoretical Computer Science (ENTCS)
Environments for term rewriting engines for free!
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
On formal analysis of OO languages using rewriting logic: designing for performance
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
KOOL: an application of rewriting logic to language prototyping and analysis
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
Formally specified type checkers for domain specific languages: experience report
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
The third rewrite engines competition
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Modelling GLL parser implementations
SLE'10 Proceedings of the Third international conference on Software language engineering
Translator generation using ART
SLE'10 Proceedings of the Third international conference on Software language engineering
Higher-order transformations with nested concrete syntax
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
LDT: a language definition technique
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
From grammars and automata to algebras and coalgebras
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
A model-driven framework for aspect weaver construction
Transactions on aspect-oriented software development VIII
A DSL for writing type systems for Xtext languages
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Construction of an agent-based framework for evolutionary biology: a progress report
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
V→M: a virtual machine for strict evaluation of (co) recursive functions
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Computationally equivalent elimination of conditions
RTA'06 Proceedings of the 17th international conference on Term Rewriting 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
Marco: safe, expressive macros for any language
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Architecture migration driven by code categorization
ECSA'07 Proceedings of the First European conference on Software Architecture
Natural and Flexible Error Recovery for Generated Modular Language Environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing Java-like languages in Xtext with Xsemantics
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Science of Computer Programming
Hi-index | 0.00 |
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are definition and implementation of domain-specific languages, generation of program analysis and transformation tools, and production of software renovation tools. It uses conditional rewrite rules to define the dynamic semantics and other tool-oriented aspects of languages, so the effectiveness of the generated tools is critically dependent on the quality of the rewrite rule implementation. The ASF+SDF rewrite rule compiler generates C code, thus taking advantage of C's portability and the sophisticated optimization capabilities of current C compilers as well as avoiding potential abstract machine interface bottlenecks. It can handle large (10,000+ rule) language definitions and uses an efficient run-time storage scheme capable of handling large (1,000,000+ node) terms. Term storage uses maximal subterm sharing (hash-consing), which turns out to be more effective in the case of ASF+SDF than in Lisp or SML. Extensive benchmarking has shown the time and space performance of the generated code to be as good as or better than that of the best current rewrite rule and functional language compilers.