Algebraic specification
The TAMPR program transformation system: simplifying the development of numerical software
Modern software tools for scientific computing
Building program optimizers with rewriting strategies
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
A Strafunski Application Letter
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Disambiguation Filters for Scannerless Generalized LR Parsers
CC '02 Proceedings of the 11th International Conference on Compiler Construction
An Overview of HATS: A Language Independent High Assurance Transformation System
ASSET '99 Proceedings of the 1999 IEEE Symposium on Application - Specific Systems and Software Engineering and Technology
Current Parsing Techniques in Software Renovation Considered Harmful
IWPC '98 Proceedings of the 6th International Workshop on Program Comprehension
Elkhound: A Fast, Practical GLR Parser Generator
Elkhound: A Fast, Practical GLR Parser Generator
Term rewriting with traversal functions
ACM Transactions on Software Engineering and Methodology (TOSEM)
The transient combinator, higher-order strategies, and the distributed data problem
Science of Computer Programming - Special issue on program transformation
A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP
WORDS '05 Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
The SSP: an example of high-assurance systems engineering
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
ERTSAL: a prototype of a domain-specific aspect language for analysis of embedded real-time systems
Proceedings of the 2nd workshop on Domain specific aspect languages
Aspectual Support for Specifying Requirements in Software Product Lines
EARLYASPECTS '07 Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design
Generative programming techniques for Java library migration
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Towards Concrete Syntax Patterns for Logic-based Transformation Rules
Electronic Notes in Theoretical Computer Science (ENTCS)
A higher-order strategy for eliminating common subexpressions
Computer Languages, Systems and Structures
Programming errors in traversal programs over structured data
Science of Computer Programming
| Hi-index | 0.00 |
This article gives an overview of a transformation system called HATS – a freely available platform independent IDE facilitating experimentation in transformation-oriented software development. Examples are discussed highlighting how the transformational abstractions provided by HATS can be used to solve various problems.