{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:10:37Z","timestamp":1761977437671,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":60,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642416590"},{"type":"electronic","value":"9783642416606"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41660-6_9","type":"book-chapter","created":{"date-parts":[[2013,10,28]],"date-time":"2013-10-28T10:59:31Z","timestamp":1382957971000},"page":"193-216","source":"Crossref","is-referenced-by-count":4,"title":["Toward a Theory of Self-explaining Computation"],"prefix":"10.1007","author":[{"given":"James","family":"Cheney","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umut A.","family":"Acar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roly","family":"Perera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Banerjee, A., Heintze, N., Riecke, J.G.: A core calculus of dependency. In: POPL, pp. 147\u2013160. ACM Press (1999)","DOI":"10.1145\/292540.292555"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Lampson, B., L\u00e9vy, J.-J.: Analysis and caching of dependencies. In: ICFP, pp. 83\u201391. ACM Press (1996)","DOI":"10.1145\/232629.232638"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/978-3-642-28641-4_22","volume-title":"POST 2012","author":"U.A. Acar","year":"2012","unstructured":"Acar, U.A., Ahmed, A., Cheney, J., Perera, R.: A core calculus for provenance. In: Degano, P., Guttman, J.D. (eds.) POST 2012. LNCS, vol.\u00a07215, pp. 410\u2013429. Springer, Heidelberg (2012)"},{"issue":"1","key":"9_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1596527.1596530","volume":"32","author":"U.A. Acar","year":"2009","unstructured":"Acar, U.A., Blelloch, G.E., Blume, M., Harper, R., Tangwongsan, K.: An experimental analysis of self-adjusting computation. ACM Trans. Prog. Lang. Sys.\u00a032(1), 3:1\u20133:53 (2009)","journal-title":"ACM Trans. Prog. Lang. Sys."},{"issue":"6","key":"9_CR5","doi-asserted-by":"publisher","first-page":"990","DOI":"10.1145\/1186632.1186634","volume":"28","author":"U.A. Acar","year":"2006","unstructured":"Acar, U.A., Blelloch, G.E., Harper, R.: Adaptive functional programming. ACM Trans. Program. Lang. Syst.\u00a028(6), 990\u20131034 (2006)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR6","unstructured":"Acar, U.A., Buneman, P., Cheney, J., Kwasnikowska, N., Van den Bussche, J., Vansummeren, S.: A graph model of data and workflow provenance. In: TAPP (2010), http:\/\/www.usenix.org\/event\/tapp10"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Bowers, S., McPhillips, T.M., Riddle, S., Anand, M.K., Lud\u00e4escher, B.: Kepler\/pPOD: Scientific workflow and provenance support for assembling the tree of life. In: Freire, et al. (eds.) [26], pp. 70\u201377.","DOI":"10.1007\/978-3-540-89965-5_9"},{"issue":"4","key":"9_CR8","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/1412331.1412340","volume":"33","author":"P. Buneman","year":"2008","unstructured":"Buneman, P., Cheney, J., Vansummeren, S.: On the expressiveness of implicit provenance in query and update languages. ACM Transactions on Database Systems\u00a033(4), 28 (2008)","journal-title":"ACM Transactions on Database Systems"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/3-540-44503-X_20","volume-title":"Database Theory - ICDT 2001","author":"P. Buneman","year":"2000","unstructured":"Buneman, P., Khanna, S., Tan, W.-C.: Why and where: A characterization of data provenance. In: Van den Bussche, J., Vianu, V. (eds.) ICDT 2001. LNCS, vol.\u00a01973, pp. 316\u2013330. Springer, Heidelberg (2000)"},{"issue":"1","key":"9_CR10","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/181550.181564","volume":"23","author":"P. Buneman","year":"1994","unstructured":"Buneman, P., Libkin, L., Suciu, D., Tannen, V., Wong, L.: Comprehension syntax. SIGMOD Record\u00a023(1), 87\u201396 (1994)","journal-title":"SIGMOD Record"},{"key":"9_CR11","unstructured":"Carey, S., Rogow, G.: UAL shares fall as old story surfaces online. Wall Street Journal (September 2008), http:\/\/online.wsj.com\/article\/SB122088673738010213.html"},{"key":"9_CR12","unstructured":"Cheney, J.: Program slicing and data provenance. IEEE Data Engineering Bulletin, 22\u201328 (December 2007) Invited paper"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Cheney, J.: Causality and the semantics of provenance. In: Proceedings of the 2010 Workshop on Developments in Computational Models (2010)","DOI":"10.4204\/EPTCS.26.6"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Cheney, J.: A formal framework for provenance security. In: CSF, pp. 281\u2013293. IEEE (2011)","DOI":"10.1109\/CSF.2011.26"},{"issue":"6","key":"9_CR15","doi-asserted-by":"publisher","first-page":"1301","DOI":"10.1017\/S0960129511000211","volume":"21","author":"J. Cheney","year":"2011","unstructured":"Cheney, J., Ahmed, A., Acar, U.A.: Provenance as dependency analysis. Mathematical Structures in Computer Science\u00a021(6), 1301\u20131337 (2011)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"4","key":"9_CR16","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1561\/1900000006","volume":"1","author":"J. Cheney","year":"2009","unstructured":"Cheney, J., Chiticariu, L., Tan, W.: Provenance in databases: Why, how, and where. Foundations and Trends in Databases\u00a01(4), 379\u2013474 (2009)","journal-title":"Foundations and Trends in Databases"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Cheney, J., Chong, S., Foster, N., Seltzer, M., Vansummeren, S.: Provenance: A future history. In: OOPSLA Companion (Onward! 2009), pp. 957\u2013964 (2009)","DOI":"10.1145\/1639950.1640064"},{"key":"9_CR18","unstructured":"Cheney, J., Lindley, S., Wadler, P.: A practical theory of language-integrated query. In: ICFP (to appear, 2013)"},{"key":"9_CR19","unstructured":"Chong, S.: Towards semantics for provenance security. In: Workshop on the Theory and Practice of Provenance (2009), Informal online proceedings, http:\/\/www.usenix.org\/events\/tapp09\/"},{"issue":"2","key":"9_CR20","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/357775.357777","volume":"25","author":"Y. Cui","year":"2000","unstructured":"Cui, Y., Widom, J., Wiener, J.L.: Tracing the lineage of view data in a warehousing environment. ACM Trans. Database Syst.\u00a025(2), 179\u2013227 (2000)","journal-title":"ACM Trans. Database Syst."},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.tcs.2012.06.020","volume":"464","author":"M. Dezani-Ciancaglini","year":"2012","unstructured":"Dezani-Ciancaglini, M., Horne, R., Sassone, V.: Tracing where and who provenance in linked data: A calculus. Theor. Comput. Sci.\u00a0464, 113\u2013129 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Dourish, P.: Accounting for System Behaviour: Representation, Reflection and Resourceful Action. In: Computers and Design in Context, pp. 145\u2013170. MIT Press (1997)","DOI":"10.7551\/mitpress\/1966.003.0007"},{"key":"9_CR23","unstructured":"Foster, I., Vockler, J., Wilde, M., Zhao, Y.: Chimera: A virtual data system for representing, querying, and automating data derivation. In: SSDBM, pp. 1\u201310 (July 2002)"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Foster, J.N., Green, T.J., Tannen, V.: Annotated XML: queries and provenance. In: PODS, pp. 271\u2013280 (2008)","DOI":"10.1145\/1376916.1376954"},{"issue":"3","key":"9_CR25","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1232420.1232424","volume":"29","author":"J.N. Foster","year":"2007","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst.\u00a029(3), 17 (2007)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","volume-title":"Provenance and Annotation of Data and Processes","year":"2008","unstructured":"Freire, J., Koop, D., Moreau, L. (eds.): IPAW 2008. LNCS, vol.\u00a05272. Springer, Heidelberg (2008)"},{"key":"9_CR27","unstructured":"Gil, Y., Cheney, J., Groth, P., Hartig, O., Miles, S., Moreau, L., da Silva, P.P., Coppens, S., Garijo, D., Gomez, J.M., Missier, P., Myers, J., Sahoo, S., Zhao, J.: Provenance XG final report (December 2010), http:\/\/www.w3.org\/2005\/Incubator\/prov\/XGR-prov-20101214\/"},{"key":"9_CR28","unstructured":"Good, D.I.: The foundations of computer security: we need some (1986), http:\/\/www.ieee-security.org\/CSFWweb\/goodessay.html"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: PODS, pp. 31\u201340. ACM (2007)","DOI":"10.1145\/1265530.1265535"},{"key":"9_CR30","unstructured":"Greenwald, G., MacAskill, E.: NSA Prism program taps in to user data of Apple, Google and others. The Guardian (June 2013), http:\/\/www.guardian.co.uk\/world\/2013\/jun\/06\/us-tech-giants-nsa-data"},{"issue":"1","key":"9_CR31","doi-asserted-by":"publisher","first-page":"39","DOI":"10.2218\/ijdc.v7i1.213","volume":"7","author":"P. Groth","year":"2012","unstructured":"Groth, P., Gil, Y., Cheney, J., Miles, S.: Requirements for provenance on the web. International Journal of Digital Curation\u00a07(1), 39\u201356 (2012)","journal-title":"International Journal of Digital Curation"},{"key":"9_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/11890850_28","volume-title":"Provenance and Annotation of Data","author":"P. Groth","year":"2006","unstructured":"Groth, P., Miles, S., Munroe, S.: Principles of high quality documentation for provenance: A philosophical discussion. In: Moreau, L., Foster, I. (eds.) IPAW 2006. LNCS, vol.\u00a04145, pp. 278\u2013286. Springer, Heidelberg (2006)"},{"key":"9_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/BFb0039592","volume-title":"STACS 87","author":"G. Kahn","year":"1987","unstructured":"Kahn, G.: Natural semantics. In: Brandenburg, F.J., Wirsing, M., Vidal-Naquet, G. (eds.) STACS 1987. LNCS, vol.\u00a0247, pp. 22\u201339. Springer, Heidelberg (1987)"},{"key":"9_CR34","unstructured":"Kammar, O., Lindley, S., Oury, N.: Handlers in action. In: ICFP (to appear, 2013)"},{"key":"9_CR35","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/1010734.1010737","volume":"3","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: State the problem before describing the solution. SIGSOFT Softw. Eng. Notes\u00a03, 26\u201326 (1978)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"9_CR36","unstructured":"Levy, P.B.: Call-By-Push-Value: A Functional\/Imperative Synthesis. Semantic Structures in Computation, vol.\u00a02. Springer (2004)"},{"issue":"1","key":"9_CR37","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1002\/1532-2890(2000)52:1<12::AID-ASI1062>3.0.CO;2-V","volume":"52","author":"C.A. Lynch","year":"2001","unstructured":"Lynch, C.A.: When documents deceive: trust and provenance as new factors for information retrieval in a tangled web. J. Am. Soc. Inf. Sci. Technol.\u00a052(1), 12\u201317 (2001)","journal-title":"J. Am. Soc. Inf. Sci. Technol."},{"key":"9_CR38","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/j.websem.2004.06.002","volume":"1","author":"D.L. McGuinness","year":"2004","unstructured":"McGuinness, D.L., Pinheiro da Silva, P.: Explaining answers from the semantic web: the inference web approach. Web Semant.\u00a01, 397\u2013413 (2004)","journal-title":"Web Semant."},{"key":"9_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10723-006-9055-3","volume":"5","author":"S. Miles","year":"2007","unstructured":"Miles, S., Groth, P., Branco, M., Moreau, L.: The requirements of using provenance in e-science experiments. Journal of Grid Computing\u00a05, 1\u201325 (2007), doi:10.1007\/s10723-006-9055-3","journal-title":"Journal of Grid Computing"},{"issue":"5","key":"9_CR40","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1002\/cpe.1236","volume":"20","author":"S. Miles","year":"2008","unstructured":"Miles, S., Groth, P.T., Munroe, S., Jiang, S., Assandri, T., Moreau, L.: Extracting causal graphs from an open provenance data model. Concurrency and Computation: Practice and Experience\u00a020(5), 577\u2013586 (2008)","journal-title":"Concurrency and Computation: Practice and Experience"},{"issue":"1","key":"9_CR41","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1016\/j.websem.2006.11.003","volume":"5","author":"S. Miles","year":"2007","unstructured":"Miles, S., Wong, S.C., Fang, W., Groth, P.T., Zauner, K.-P., Moreau, L.: Provenance-based validation of e-science experiments. J. Web Sem.\u00a05(1), 28\u201338 (2007)","journal-title":"J. Web Sem."},{"issue":"5807","key":"9_CR42","doi-asserted-by":"publisher","first-page":"1856","DOI":"10.1126\/science.314.5807.1856","volume":"314","author":"G. Miller","year":"2006","unstructured":"Miller, G.: A scientist\u2019s nightmare: Software problem leads to five retractions. Science\u00a0314(5807), 1856\u20131857 (2006)","journal-title":"Science"},{"key":"9_CR43","doi-asserted-by":"crossref","unstructured":"Missier, P., Belhajjame, K., Zhao, J., Roos, M., Goble, C.A.: Data lineage model for Taverna workflows with lightweight annotation requirements. In: Freire, et al. (eds.), pp. 17\u201330","DOI":"10.1007\/978-3-540-89965-5_4"},{"issue":"2-3","key":"9_CR44","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1561\/1800000010","volume":"2","author":"L. Moreau","year":"2010","unstructured":"Moreau, L.: The foundations for provenance on the web. Foundations and Trends in Web Science\u00a02(2-3), 99\u2013241 (2010)","journal-title":"Foundations and Trends in Web Science"},{"issue":"2","key":"9_CR45","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.websem.2011.03.001","volume":"9","author":"L. Moreau","year":"2011","unstructured":"Moreau, L.: Provenance-based reproducibility in the semantic web. J. Web Sem.\u00a09(2), 202\u2013221 (2011)","journal-title":"J. Web Sem."},{"issue":"6","key":"9_CR46","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1016\/j.future.2010.07.005","volume":"27","author":"L. Moreau","year":"2011","unstructured":"Moreau, L., Clifford, B., Freire, J., Futrelle, J., Gil, Y., Groth, P.T., Kwasnikowska, N., Miles, S., Missier, P., Myers, J., Plale, B., Simmhan, Y., Stephan, E.G., den Bussche, J.V.: The open provenance model core specification (v1.1). Future Generation Comp. Syst.\u00a027(6), 743\u2013756 (2011)","journal-title":"Future Generation Comp. Syst."},{"key":"9_CR47","unstructured":"Moreau, L., Missier, P. (eds.): PROV-DM: The PROV data model. W3C Recommendation (April 2013), http:\/\/www.w3.org\/TR\/2013\/REC-prov-dm-20130430\/"},{"key":"9_CR48","unstructured":"Muniswamy-Reddy, K.-K., Holland, D.A., Braun, U., Seltzer, M.: Provenance-aware storage systems. In: USENIX Annual Technical Conference, pp. 43\u201356. USENIX (June 2006)"},{"key":"9_CR49","doi-asserted-by":"crossref","unstructured":"Perera, R., Acar, U.A., Cheney, J., Levy, P.B.: Functional programs that explain their work. In: ICFP, pp. 365\u2013376. ACM (2012)","DOI":"10.1145\/2398856.2364579"},{"key":"9_CR50","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.05.001","volume":"60-61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program.\u00a060-61, 17\u2013139 (2004)","journal-title":"J. Log. Algebr. Program."},{"issue":"1","key":"9_CR51","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"9_CR52","unstructured":"Souilah, I., Francalanza, A., Sassone, V.: A formal model of provenance in distributed systems. In: Workshop on the Theory and Practice of Provenance (2009)"},{"key":"9_CR53","unstructured":"Stoy, J.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press (1981)"},{"key":"9_CR54","unstructured":"Tip, F.: A survey of program slicing techniques. J. Prog. Lang. 3(3) (1995)"},{"key":"9_CR55","unstructured":"Varghese, S.: UK government gets bitten by Microsoft Word. Sydney Morning Herald (July 2003), http:\/\/www.smh.com.au\/articles\/2003\/07\/02\/1056825430340.html"},{"key":"9_CR56","unstructured":"Wang, Y.R., Madnick, S.E.: A polygen model for heterogeneous database systems: The source tagging perspective. In: VLDB, pp. 519\u2013538 (1990)"},{"key":"9_CR57","doi-asserted-by":"crossref","unstructured":"Winskel, G.: The Formal Semantics of Programming Languages: An Introduction. MIT Press (1993)","DOI":"10.7551\/mitpress\/3054.001.0001"},{"issue":"1","key":"9_CR58","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1093\/comjnl\/bxp052","volume":"54","author":"G. Winskel","year":"2011","unstructured":"Winskel, G.: Events, causality and symmetry. Comput. J.\u00a054(1), 42\u201357 (2011)","journal-title":"Comput. J."},{"key":"9_CR59","doi-asserted-by":"crossref","unstructured":"Woodruff, A., Stonebraker, M.: Supporting fine-grained data lineage in a database visualization environment. In: ICDE, pp. 91\u2013102 (1997)","DOI":"10.1109\/ICDE.1997.581742"},{"key":"9_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11890850_16","volume-title":"Provenance and Annotation of Data","author":"Y. Zhao","year":"2006","unstructured":"Zhao, Y., Wilde, M., Foster, I.: Applying the virtual data provenance model. In: Moreau, L., Foster, I. (eds.) IPAW 2006. LNCS, vol.\u00a04145, pp. 148\u2013161. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","In Search of Elegance in the Theory and Practice of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41660-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T18:32:26Z","timestamp":1746037946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41660-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642416590","9783642416606"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41660-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}