2012 | OriginalPaper | Buchkapitel
Internal versus External DSLs for Trace Analysis
(Extended Abstract)
verfasst von : Howard Barringer, Klaus Havelund
Erschienen in: Runtime Verification
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.