NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
TraceContract: A Scala DSL for Trace AnalysisIn this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the best weapon is a high level programming language augmented with constructs for temporal reasoning. A trace is a sequence of events, which may for example be generated by a running program, instrumented appropriately to generate events. The API supports writing properties in a notation that combines an advanced form of data parameterized state machines with temporal logic. The implementation utilizes SCALA's support for defining internal Domain Specific Languages (DSLs). Furthermore SCALA's combination of object oriented and functional programming features, including partial functions and pattern matching, makes it an ideal host language for such an API.
Document ID
20120013815
Document Type
Conference Paper
External Source(s)
Authors
Barringer, Howard (Manchester Univ. MacClesfield, United Kingdom)
Havelund, Klaus (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
August 26, 2013
Publication Date
June 24, 2011
Subject Category
Computer Programming and Software
Meeting Information
17th International Symposium on Formal Methods(Limerick)
Distribution Limits
Public
Copyright
Other
Keywords
log file analysis
Scala programming language
Domain Specific Language (DSL)