Garbage collection in an uncooperative environment
Software—Practice & Experience
The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
A meta-environment for generating programming environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Evolutionary software engineering: a component-based approach
Proceedings of the IFIP TC2 WG2.4 working conference on Systems implementation 2000 : languages, methods and tools: languages, methods and tools
The discrete time TOOLBUS—a software coordination architecture
Science of Computer Programming
Software—Practice & Experience
WoSEF: workshop on standard exchange format
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Compiling language definitions: the ASF+SDF compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented tree traversal with J. J. Forester
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
A Strafunski Application Letter
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
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
Factotum: Automatic and Systematic Sharing Support for Systems Analyzers
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
JITty: A Rewriter with Strategy Annotations
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Towards Portable Source Code Representations Using XML
WCRE '00 Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00)
GXL: Toward a Standard Exchange Format
WCRE '00 Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00)
Where's the Schema? A Taxonomy of Patterns for Software Exchange
IWPC '02 Proceedings of the 10th International Workshop on Program Comprehension
A compact file format for labeled transition systems
A compact file format for labeled transition systems
Term rewriting with traversal functions
ACM Transactions on Software Engineering and Methodology (TOSEM)
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)
Towards lightweight checks for mass maintenance transformations
Science of Computer Programming
Stratego/XT 0.16: components for transformation systems
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Lock-free dynamic hash tables with open addressing
Distributed Computing - Special issue: PODC 02
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Software—Practice & Experience
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Canonical Abstract Syntax Trees
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
A pattern matching compiler for multiple target languages
CC'03 Proceedings of the 12th international conference on Compiler construction
Lock-Free parallel garbage collection
ISPA'05 Proceedings of the Third international conference on Parallel and Distributed Processing and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Incremental concrete syntax for embedded languages
Proceedings of the 2011 ACM Symposium on Applied Computing
Incremental concrete syntax for embedded languages with support for separate compilation
Science of Computer Programming
Generic representations of tree transformations
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming
Hi-index | 0.00 |
Some data types are so simple that they tend to be reimplemented over and over again. This is certainly true for terms, tree-like data structures that can represent prefix formulae, syntax trees, intermediate code, and more. We first describe the motivation to introduce Annotated Terms (ATerms): unifying several term formats, optimizing storage requirements by introducing maximal subterm sharing, and providing a language-neutral exchange format. Next, we present a brief overview of the ATerm technology itself and of its wide range of applications. A discussion of competing technologies and the future of ATerms concludes the paper.