JPL Technical Report Server

Internal versus external DSLs for trace analysis: extended abstract

Show simple item record

dc.contributor.author Barringer, Howard
dc.contributor.author Havelund, Klaus
dc.date.accessioned 2013-09-09T16:05:06Z
dc.date.available 2013-09-09T16:05:06Z
dc.date.issued 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.identifier.uri http://hdl.handle.net/2014/43669
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

Search


Browse

My Account