{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T21:52:58Z","timestamp":1759960378022},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298592"},{"type":"electronic","value":"9783642298608"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29860-8_1","type":"book-chapter","created":{"date-parts":[[2012,5,11]],"date-time":"2012-05-11T13:38:03Z","timestamp":1336743483000},"page":"1-3","source":"Crossref","is-referenced-by-count":2,"title":["Internal versus External DSLs for Trace Analysis"],"prefix":"10.1007","author":[{"given":"Howard","family":"Barringer","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Havelund","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Aho, A.V., Kernighan, B.W., Weinberger, P.J.: The AWK programming language. Addison-Wesley (1988)","key":"1_CR1"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-24622-0_5","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"H. Barringer","year":"2004","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-Based Runtime Verification. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 44\u201357. Springer, Heidelberg (2004)"},{"issue":"11","key":"1_CR3","doi-asserted-by":"crossref","first-page":"365","DOI":"10.2514\/1.49356","volume":"7","author":"H. Barringer","year":"2010","unstructured":"Barringer, H., Groce, A., Havelund, K., Smith, M.: Formal analysis of log files. Journal of Aerospace Computing, Information, and Communication\u00a07(11), 365\u2013390 (2010)","journal-title":"Journal of Aerospace Computing, Information, and Communication"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-21437-0_7","volume-title":"FM 2011: Formal Methods","author":"H. Barringer","year":"2011","unstructured":"Barringer, H., Havelund, K.: TraceContract: A Scala DSL for Trace Analysis. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol.\u00a06664, pp. 57\u201372. Springer, Heidelberg (2011)"},{"key":"1_CR5","volume-title":"Scala Days 2011","author":"H. Barringer","year":"2011","unstructured":"Barringer, H., Havelund, K., Kurklu, E., Morris, R.: Checking flight rules with TraceContract: Application of a Scala DSL for trace analysis. In: Scala Days 2011. Stanford University, California (2011)"},{"issue":"3","key":"1_CR6","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1093\/logcom\/exn076","volume":"20","author":"H. Barringer","year":"2010","unstructured":"Barringer, H., Rydeheard, D.E., Havelund, K.: Rule systems for run-time monitoring: from Eagle to RuleR. J. Log. Comput.\u00a020(3), 675\u2013706 (2010)","journal-title":"J. Log. Comput."},{"issue":"4","key":"1_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1082983.1083249","volume":"30","author":"M. d\u2019Amorim","year":"2005","unstructured":"d\u2019Amorim, M., Havelund, K.: Event-based runtime verification of Java programs. ACM SIGSOFT Software Engineering Notes\u00a030(4), 1\u20137 (2005)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"1","key":"1_CR8","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/321203.321207","volume":"11","author":"D. Farber","year":"1964","unstructured":"Farber, D., Griswold, R., Polonsky, I.: SNOBOL, A string manipulation language. Jounral of the ACM\u00a011(1), 21\u201330 (1964)","journal-title":"Jounral of the ACM"},{"unstructured":"Fowler, M., Parsons, R.: Domain-Specific Languages. Addison-Wesley (2010)","key":"1_CR9"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-540-74591-4_27","volume-title":"Theorem Proving in Higher Order Logics","author":"F. Garillot","year":"2007","unstructured":"Garillot, F., Werner, B.: Simple Types in Type Theory: Deep and Shallow Encodings. In: Schneider, K., Brandt, J. (eds.) TPHOLs 2007. LNCS, vol.\u00a04732, pp. 368\u2013382. Springer, Heidelberg (2007)"},{"unstructured":"Lunar Atmosphere Dust Environment Explorer, \n                    \n                      http:\/\/www.nasa.gov\/mission_pages\/LADEE\/main","key":"1_CR11"},{"unstructured":"Scala, \n                    \n                      http:\/\/www.scala-lang.org","key":"1_CR12"},{"doi-asserted-by":"crossref","unstructured":"Stolz, V., Huch, F.: Runtime verification of concurrent Haskell programs. In: Proc. of the 4th Int. Workshop on Runtime Verification (RV 2004). ENTCS, vol.\u00a0113, pp. 201\u2013216. Elsevier (2005)","key":"1_CR13","DOI":"10.1016\/j.entcs.2004.01.026"},{"unstructured":"The Haskell Programming Language, \n                    \n                      http:\/\/www.haskell.org\/haskellwiki\/Haskell","key":"1_CR14"},{"unstructured":"The Perl Programming Language, \n                    \n                      http:\/\/www.perl.org","key":"1_CR15"},{"issue":"1","key":"1_CR16","first-page":"25","volume":"5","author":"V.H. Yngve","year":"1958","unstructured":"Yngve, V.H.: A programming language for mechanical translation. Mechanical Translation\u00a05(1), 25\u201341 (1958)","journal-title":"Mechanical Translation"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29860-8_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:18:57Z","timestamp":1620127137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29860-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298592","9783642298608"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29860-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}