Keywords:run-time verification; domain specific language (DSL); high level programming language; external DSL; internal DSL
Publisher:Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2011.
Citation:2nd International Conference on Runtime Verification, San Francisco, California, September 27 - 30, 2011
Abstract:
This tutorial explores the design and implementation issues arising in the development of domain-specific languages for trace analysis. It introduces the audience to the general concepts underlying such special-purpose languages building upon the authors’ own experiences in developing both external domain specific languages and systems, such as EAGLE, HAWK, RULER and LOGSCOPE, and the more recent internal domain-specific language and system TRACECONTRACT within the SCALA language.