{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:49:37Z","timestamp":1725504577243},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540781622"},{"type":"electronic","value":"9783540781639"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78163-9_2","type":"book-chapter","created":{"date-parts":[[2008,2,29]],"date-time":"2008-02-29T10:30:06Z","timestamp":1204281006000},"page":"4-4","source":"Crossref","is-referenced-by-count":0,"title":["CTL as an Intermediate Language"],"prefix":"10.1007","author":[{"given":"Neil D.","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9 Rydhof","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-540-76637-7_21","volume-title":"Programming Languages and Systems","author":"N.D. Jones","year":"2007","unstructured":"Jones, N.D., Hansen, R.R.: The semantics of semantic patches in Coccinelle: Program transformation for the working programmer. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol.\u00a04807, pp. 303\u2013318. Springer, Heidelberg (2007)"},{"key":"2_CR2","unstructured":"Jones, N.D., Hansen, R.R.: Technical appendix to [1]. (unpublished) (2007), \n                  \n                    http:\/\/www.diku.dk\/\/hjemmesider\/ansatte\/neil\/sempatch.pdf"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Padioleau, Y., et al.: Semantic patches for documenting and automating collateral evolutions in Linux device drivers. In: PLOS 2006: Proc. of workshop on Programming languages and operating systems, p. 10 (2006)","DOI":"10.1145\/1215995.1216005"},{"key":"2_CR4","unstructured":"Coccinelle project home page, \n                  \n                    http:\/\/www.emn.fr\/x-info\/coccinelle\/"},{"issue":"1-2","key":"2_CR5","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1023\/A:1023063919574","volume":"16","author":"O. Moor De","year":"2003","unstructured":"De Moor, O., Lacey, D., Van Wyk, E.: Universal regular path queries. Higher-order and Symbolic Computation\u00a016(1-2), 15\u201335 (2003)","journal-title":"Higher-order and Symbolic Computation"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/996841.996868","volume-title":"PLDI 2004: Proceedings of the ACM SIGPLAN 2004 conf. on Programming language design and implementation","author":"Y.A. Liu","year":"2004","unstructured":"Liu, Y.A., et al.: Parametric regular path queries. In: PLDI 2004: Proceedings of the ACM SIGPLAN 2004 conf. on Programming language design and implementation, pp. 219\u2013230. ACM Press, New York (2004)"},{"issue":"3","key":"2_CR7","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1023\/B:LISP.0000029444.99264.c0","volume":"17","author":"D. Lacey","year":"2004","unstructured":"Lacey, D., et al.: Compiler optimization correctness by temporal logic. Higher Order and Symbolic Computation\u00a017(3), 173\u2013206 (2004)","journal-title":"Higher Order and Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78163-9_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:00:35Z","timestamp":1619521235000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78163-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540781622","9783540781639"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78163-9_2","relation":{},"subject":[]}}