NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
internal versus external dsls for trace analysis: extended abstractThis 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.
Document ID
20150006089
Document Type
Conference Paper
External Source(s)
Authors
Barringer, Howard
(Manchester Univ. United Kingdom)
Havelund, Klaus
(Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
April 22, 2015
Publication Date
September 27, 2011
Subject Category
Computer Programming and Software
Meeting Information
International Conference on Runtime Verification(San Francisco, CA)
Distribution Limits
Public
Copyright
Other
Keywords
domain specific language (DSL)
external DSL
high level programming language
internal DSL
run-time verification