JPL Technical Report Server

Internal versus external DSLs for trace analysis: extended abstract

Show simple item record Barringer, Howard Havelund, Klaus 2013-09-09T16:05:06Z 2013-09-09T16:05:06Z 2011-09-27
dc.identifier.citation 2nd International Conference on Runtime Verification, San Francisco, California, September 27 - 30, 2011 en_US
dc.identifier.clearanceno 11-4158
dc.description.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. en_US
dc.description.sponsorship NASA/JPL en_US
dc.language.iso en_US en_US
dc.publisher Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2011. en_US
dc.subject run-time verification en_US
dc.subject domain specific language (DSL) en_US
dc.subject high level programming language en_US
dc.subject external DSL en_US
dc.subject internal DSL en_US
dc.title Internal versus external DSLs for trace analysis: extended abstract en_US
dc.type Preprint en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record



My Account