TraceContract: A scala DSL for trace analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6664 LNCS, Issue , 2011, Pages 57-72

  Barringer, Howard ^a   Havelund, Klaus ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DOMAIN SPECIFIC LANGUAGES; HIGH-LEVEL PROGRAMMING LANGUAGE; OBJECT ORIENTED; PARAMETERIZED; PARTIAL FUNCTIONS; PROGRAMMING LANGUAGE; SEQUENCE OF EVENTS; STATE MACHINE; TEMPORAL REASONING;

APPLICATION PROGRAMMING INTERFACES (API); COMPUTER PROGRAMMING LANGUAGES; FORMAL METHODS; FUNCTIONAL PROGRAMMING; OBJECT ORIENTED PROGRAMMING; PATTERN MATCHING; TEMPORAL LOGIC;

TRACE ANALYSIS;

EID: 79959971647     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21437-0_7     Document Type: Conference Paper

References (16)

1. NASA's LADEE (Lunar Atmosphere and Dust Environment Explorer) mission, http://www.nasa.gov/mission-pages/LADEE/main
2. The Scala programming language, http://www.scala-lang.org
3. Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittamplan, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: OOPSLA 2005. ACM Press, New York (2005)
4. Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 44-57. Springer, Heidelberg (2004)
5. Barringer, H., Groce, A., Havelund, K., Smith, M.: Formal analysis of log files. Journal of Aerospace Computing, Information, and Communication 7(11), 365-390 (2010)
6. Barringer, H., Havelund, K., Rydeheard, D., Groce, A.: Rule systems for runtime verification: A short tutorial. In: Bensalem, S., Peled, D.A. (eds.) RV 2009. LNCS, vol. 5779, pp. 1-24. Springer, Heidelberg (2009)
7. Barringer, H., Rydeheard, D.E., Havelund, K.: Rule systems for run-time monitoring: from EAGLE to RULER. J. Log. Comput. 20(3), 675-706 (2010)
8. Chen, F., Roşu, G.: MOP: An efficient and generic runtime verification framework. In: Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2007 (2007)
9. Drusinsky, D.: The temporal rover and the ATG rover. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol. 1885, pp. 323-330. Springer, Heidelberg (2000)
10. Finkbeiner, B., Sankaranarayanan, S., Sipma, H.: Collecting statistics over runtime executions. Formal Methods in System Design 27(3), 253-274 (2005)
11. Garillot, F., Werner, B.: Simple types in type theory: Deep and shallow encodings. In: Schneider, K., Brandt, J. (eds.) TPHOLs 2007. LNCS, vol. 4732, pp. 368-382. Springer, Heidelberg (2007)
12. Havelund, K., Rosu, G.:Monitoring programs using rewriting. In: 16th ASE conference, San Diego, CA, USA, pp. 135-143 (2001)
13. Lee, I., Kannan, S., Kim, M., Sokolsky, O., Viswanathan, M.: Runtime assurance based on formal specifications. In: PDPTA, pp. 279-287. CSREA Press (1999)
14. Odersky, M.: Contracts for scala. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Roşu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 51-57. Springer, Heidelberg (2010)
15. Stolz, V., Bodden, E.: Temporal assertions using AspectJ. In: Proc. of the 5th Int. Workshop on Runtime Verification (RV 2005). ENTCS, vol. 144(4), pp. 109-124. Elsevier, Amsterdam (2006)
16. Stolz, V., Huch, F.: Runtime verification of concurrent Haskell programs. In: Proc. of the 4th Int.Workshop on Runtime Verification (RV 2004). ENTCS, vol. 113, pp. 201-216. Elsevier, Amsterdam (2005)