Internal versus external DSLs for trace analysis: extended abstract

Barringer, Howard; Havelund, Klaus

Internal versus external DSLs for trace analysis: extended abstract

Barringer, Howard; Havelund, Klaus

URI: http://hdl.handle.net/2014/43669

Date: 2011-09-27

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.

Show full item record