Internal versus external DSLs for trace analysis

Authors:
Howard Barringer;Klaus Havelund
Affiliations:
School of Computer Science, University of Manchester, UK;Jet Propulsion Laboratory, California Institute of Technology
Venue:
RV'11 Proceedings of the Second international conference on Runtime verification
Year:
2011

Citing 8
Cited 0

The AWK programming language

The AWK programming language
SNOBOL , A String Manipulation Language

Journal of the ACM (JACM)
Event-based runtime verification of java programs

WODA '05 Proceedings of the third international workshop on Dynamic analysis
Runtime Verification of Concurrent Haskell Programs

Electronic Notes in Theoretical Computer Science (ENTCS)
Simple types in type theory: deep and shallow encodings

TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Domain Specific Languages

Domain Specific Languages
Rule Systems for Run-time Monitoring

Journal of Logic and Computation
TRACECONTRACT: a scala DSL for trace analysis

FM'11 Proceedings of the 17th international conference on Formal methods

Quantified Score

Hi-index	0.00

Visualization

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.