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
Acquisition Source
Jet Propulsion Laboratory
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
Meeting: International Conference on Runtime Verification
Location: San Francisco, CA
Country: United States
Start Date: September 27, 2011
End Date: September 30, 2011
Sponsors: Jet Propulsion Lab., California Inst. of Tech.
Distribution Limits
Public
Copyright
Other
Keywords
domain specific language (DSL)
external DSL
high level programming language
internal DSL
run-time verification

Available Downloads

There are no available downloads for this record.
No Preview Available