specRTL: A Language for GCC Machine Descriptions
specRTL Language Compiler has undergone a complete redesign is now written in C++ with the help of C++ extentions for Flex and Bison. The compiler along with the language now has specRTL language specifications for almost all of the conventional machine description constructs. The language itself has gone some changes in its specifications from the previous implementation.
A detailed description of the A detailed description of the new compiler with all the changes can be found here. The details include the compiler architecture, the specRTL grammar, and specRTL constructs along with examples.
The original paper on specRTL submitted to GROW 2011 workshop is also available along with the presentation slides. Note that some details of the original paper now have been superceded although the philosophy remains same.