{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,5]],"date-time":"2023-10-05T09:13:42Z","timestamp":1696497222273},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1007\/s10990-006-8610-8","type":"journal-article","created":{"date-parts":[[2006,7,9]],"date-time":"2006-07-09T02:48:36Z","timestamp":1152413316000},"page":"101-124","source":"Crossref","is-referenced-by-count":4,"title":["Dynamic state restoration using versioning exceptions"],"prefix":"10.1007","volume":"19","author":[{"given":"V. Krishna","family":"Nandivada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suresh","family":"Jagannathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"12","key":"8610_CR1","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1002\/spe.478","volume":"32","author":"A. Agbaria","year":"2002","unstructured":"1. Agbaria, A., Friedman, R.: Virtual-machine-based Heterogeneous Checkpointing. Software Practice and Experience 32(12), 1175\u20131192 (2002)","journal-title":"Software Practice and Experience"},{"key":"8610_CR2","unstructured":"2. Andersen, L.O.: Program Analysis and Specialization for the C programming language. PhD thesis, DIKU, University of Copenhagen (1994)"},{"key":"8610_CR3","doi-asserted-by":"crossref","unstructured":"3. Appel, A. Compiling with Continuations. Cambridge University Press (1992)","DOI":"10.1017\/CBO9780511609619"},{"issue":"7","key":"8610_CR4","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/988376.988378","volume":"17","author":"M. Atkinson","year":"1982","unstructured":"4. Atkinson, M., Chisholm, K., Cockshott, P.: PS-ALGOL: An Algol with a Persistent Heap. SIGPLAN Notices 17(7), 24\u201331 (1982)","journal-title":"SIGPLAN Notices"},{"issue":"4","key":"8610_CR5","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/245882.245905","volume":"25","author":"M.P. Atkinson","year":"1996","unstructured":"5. Atkinson, M.P., Daynes, L., Jordan, M.J.: Tony Printezis and Susan Spence, An Orthogonally Persistent Java. ACM SIGMOD record 25(4), 68\u201375 (1996)","journal-title":"ACM SIGMOD record"},{"issue":"6","key":"8610_CR6","first-page":"296","volume":"25","author":"D. Chase","year":"1990","unstructured":"6. Chase, D., Wegman, M.N., Zadeck, F.K.: Analysis of Pointers and Structures. In: Proceedings of the Conference on Programming Language Design and Implementation 25(6), 296\u2013310 (1990)","journal-title":"Proceedings of the Conference on Programming Language Design and Implementation"},{"key":"8610_CR7","doi-asserted-by":"crossref","unstructured":"7. Consel, C.: Polyvariant Binding-time Analysis for Applicative Languages. In: Proceedings of the Symposium on Partial Evaluation and Semantics-based Program Manipulation, pp. 66\u201377 (1993)","DOI":"10.1145\/154630.154638"},{"issue":"1","key":"8610_CR8","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1016\/0022-0000(89)90034-2","volume":"38","author":"J.R. Driscoll","year":"1989","unstructured":"8. Driscoll, J.R., Sleator, D.D., Tarjan, R.E.: Making Data Structures Persistent. Journal of Computer and System Sciences 38(1), 86\u2013124 (1989)","journal-title":"Journal of Computer and System Sciences"},{"issue":"5","key":"8610_CR9","doi-asserted-by":"crossref","first-page":"943","DOI":"10.1145\/185675.185791","volume":"41","author":"J.R. Driscoll","year":"1994","unstructured":"9. Driscoll, J.R., Sleator, D.D., Tarjan, R.E.: Fully persistent lists with catenation. Journal of ACM 41(5), 943\u2013959 (1994)","journal-title":"Journal of ACM"},{"issue":"6","key":"8610_CR10","first-page":"242","volume":"29","author":"M. Emami","year":"1994","unstructured":"10. Emami, M., Ghiya, R., Hendren, L.J.: Context-sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers. In: Proceedings of the Conference on Programming Language Design and Implementation 29(6), 242\u2013256 (1994)","journal-title":"Proceedings of the Conference on Programming Language Design and Implementation"},{"key":"8610_CR11","doi-asserted-by":"crossref","unstructured":"11. Felleisen, M., Friedman, D.P.: A Calculus for Assignments in Higher-order Languages. In: Proceedings of the Symposium on Principles of Programming Languages, pp. 314\u2013325 (1987)","DOI":"10.1145\/41625.41654"},{"issue":"6","key":"8610_CR12","first-page":"237","volume":"28","author":"C. Flanagan","year":"1993","unstructured":"12. Flanagan, C., Sabry, A., Duba, B.F., Felleisen, M.: The Essence of Compiling with Continuations. In: Proceedings of the Conference on Programming Language Design and Implementation 28(6), 237\u2013247 (1993)","journal-title":"Proceedings of the Conference on Programming Language Design and Implementation"},{"key":"8610_CR13","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/3-540-48737-9_7","volume":"LNCS 1523","author":"M. Flatt","year":"1999","unstructured":"13. Flatt, M., Krishnamurthi, S., Felleisen, M.: A Programmer\u2019s Reduction Semantics for Classes and Mixins. In: Proceedings of the Symposium on on Formal Syntax and Semantics of Java. Vol. LNCS 1523, pp. 241\u2013269, Springer (1999)","journal-title":"Proceedings of the Symposium on on Formal Syntax and Semantics of Java"},{"key":"8610_CR14","doi-asserted-by":"crossref","unstructured":"14. Foster, J.S., F\u00e4hndrich, M. Aiken, A.: Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. In: International Symposium on Static Analysis, pp. 175\u2013198 (2000)","DOI":"10.1007\/978-3-540-45099-3_10"},{"key":"8610_CR15","unstructured":"15. Garey, M.R., Johnson, D.S.: Computers and intractability: A Guide to the Theory of NPCompleteness. Freeman (1979)"},{"issue":"5","key":"8610_CR16","first-page":"70","volume":"36","author":"D. Gay","year":"2001","unstructured":"16. Gay, D., Aiken, A.: Language Support for Regions. In: Proceedings of the Conference on Programming Language Design and Implementation 36(5), 70\u201380 (2001)","journal-title":"Proceedings of the Conference on Programming Language Design and Implementation"},{"key":"8610_CR17","unstructured":"17. Harris, T., Marlow, S., Jones, S.P., Herlihy, M.: Composable Memory Transactions. In: ACM Conference on Principles and Practice of Parallel Programming. To appear."},{"key":"8610_CR18","doi-asserted-by":"crossref","unstructured":"18. Harris, T., Fraser, K.: Language Support for Lightweight Transactions. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications pp. 338\u2013402 (2003)","DOI":"10.1145\/949305.949340"},{"key":"8610_CR19","doi-asserted-by":"crossref","unstructured":"19. Heintze, N.: Set-based Analysis of ML programs. In: Proceedings of ACM Conference on LISP and Functional Programming, pp. 306\u2013317 (1994)","DOI":"10.1145\/182590.182495"},{"issue":"1","key":"8610_CR20","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1145\/77643.77647","volume":"15","author":"M. Herlihy","year":"1990","unstructured":"20. Herlihy, M.: Apologizing Versus Asking Permission: Optimistic Concurrency Control for Abstract Data Types. ACM Transactions on Database Systems 15(1), 96\u2013124 (1990)","journal-title":"ACM Transactions on Database Systems"},{"issue":"1","key":"8610_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/239912.239913","volume":"19","author":"S. Horwitz","year":"1997","unstructured":"21. Horwitz, S.: Precise Flow-insensitive May-alias Analysis is NP-hard. ACM Transactions on Progamming Languages and Systems 19(1), 1\u20136 (1997)","journal-title":"ACM Transactions on Progamming Languages and Systems"},{"key":"8610_CR22","doi-asserted-by":"crossref","unstructured":"22. Jagannathan, S., Thiemann, P., Weeks, S., Wright, A.: Single and loving it: Must-alias analysis for higher-order languages. In: Proceedings of the Symposium on Principles of Programming Languages, pp. 329\u2013341 (1998)","DOI":"10.1145\/268946.268973"},{"key":"8610_CR23","doi-asserted-by":"crossref","unstructured":"23. Jagannathan, S., Weeks, S.: A Unified Treatment of Flow Analysis in Higher-Order Languages. In: Proceedings of the ACM Symposium on Principles of Programming Languages, pp. 393\u2013407 (1995)","DOI":"10.1145\/199448.199536"},{"key":"8610_CR24","doi-asserted-by":"crossref","unstructured":"24. Kelsey, R., Hudak, P.: Realistic Compilation by Program Transformation. In: Proceedings of the ACM Symposium on Principles of Programming Languages, pp. 281\u2013293 (1989)","DOI":"10.1145\/75277.75302"},{"key":"8610_CR25","doi-asserted-by":"crossref","unstructured":"25. Jones, S.L.P., Reid, A., Henderson, F., Hoare, T., Marlow, S.: A Semantics for Imprecise Exceptions. In: Proceedings of the Conference on Programming Language Design and Implementation, pp. 25\u201336 (1999)","DOI":"10.1145\/301618.301637"},{"issue":"2","key":"8610_CR26","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/319566.319567","volume":"6","author":"H.T. Kung","year":"1981","unstructured":"26. Kung, H.T., Robinson, J.T.: On Optimistic Methods for Concurrency Control. ACM Transactions on Database Systems 6(2), 213\u2013226 (1981)","journal-title":"ACM Transactions on Database Systems"},{"issue":"7","key":"8610_CR27","first-page":"235","volume":"27","author":"W. Landi","year":"1992","unstructured":"27. Landi W., Ryder, B.G.: A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. In: Proceedings of the Conference on Programming Language Design and Implementation 27(7), 235\u2013248 (1992)","journal-title":"Proceedings of the Conference on Programming Language Design and Implementation"},{"issue":"3","key":"8610_CR28","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/2166.357215","volume":"5","author":"B. Liskov","year":"1983","unstructured":"28. Liskov, B., Scheifler, R.: Guardians and actions: Linguistic Support for Robust Distributed Programs. ACM Transactions on Progamming Languages and Systems 5(3), 381\u2013404 (1983)","journal-title":"ACM Transactions on Progamming Languages and Systems"},{"key":"8610_CR29","doi-asserted-by":"crossref","unstructured":"29. Marlow, S., Jones, S.P., Moran A., Reppy, J.: Asynchronous exceptions in Haskell. In: Proceedings of the Conference on Programming Language Design and Implementation, pp. 274\u2013285 (2001)","DOI":"10.1145\/378795.378858"},{"key":"8610_CR30","doi-asserted-by":"crossref","unstructured":"30. Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML. MIT Press (1997)","DOI":"10.7551\/mitpress\/2319.001.0001"},{"issue":"1","key":"8610_CR31","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/200994.201001","volume":"17","author":"J. Palsberg","year":"1995","unstructured":"31. Palsberg, J.: Closure Analysis in Constraint Form. ACM Transactions on Progamming Languages and Systems 17(1), 47\u201362 (1995)","journal-title":"ACM Transactions on Progamming Languages and Systems"},{"issue":"1","key":"8610_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/271510.271517","volume":"20","author":"M. Sagiv","year":"1998","unstructured":"32. Sagiv, M., Reps, T., Wilhelm, R.: Solving Shape-analysis Problems in Languages with Destructive Updating. Transactions on Progamming Languages and Systems 20(1), 1\u201350 (1998)","journal-title":"Transactions on Progamming Languages and Systems"},{"issue":"3","key":"8610_CR33","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1145\/514188.514190","volume":"24","author":"M. Sagiv","year":"2002","unstructured":"33. Sagiv, M., Reps, T., Wilhelm, R.: Parametric Shape Analysis via 3-valued Logic. ACM Transactions on Progamming Languages and Systems 24(3) 217\u2013298 (2002)","journal-title":"ACM Transactions on Progamming Languages and Systems"},{"key":"8610_CR34","doi-asserted-by":"crossref","unstructured":"34. Shapiro II, M., Horwitz, S.: Fast and Accurate Flow-insensitive Points-to Analysis. In: Proceedings of the 24th Symposium on Principles of Programming Languages, pp. 1\u201314 (1997)","DOI":"10.1145\/263699.263703"},{"key":"8610_CR35","unstructured":"35. Sinnar, A., Tarditi, D., Plesko, M., Steensgard, B.: Integrating Support for Undo with Exception Handling. Microsoft Research Technical Report MSR-TR-2004-140 (2004)"},{"key":"8610_CR36","doi-asserted-by":"crossref","unstructured":"36. Steensgaard, B.: Points-to analysis in almost linear time. In: Proceedings of Symposium on Principles of Programming Languages, pp. 32\u201341 (1996)","DOI":"10.1145\/237721.237727"},{"key":"8610_CR37","unstructured":"37. Stonebraker, M., Hellerstein, J.: Readings in Database Systems, 3rd edn. Morgan-Kaufmann (1998)"},{"key":"8610_CR38","unstructured":"38. Talpin, J.-P.: Theoretical and Practical Aspects of Type and Effect Inference. PhD thesis, University of Paris (1993)"},{"issue":"3","key":"8610_CR39","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1017\/S0956796800000393","volume":"2","author":"J.-P. Talpin","year":"1992","unstructured":"39. Talpin, J.-P., Jouvelot, P.: Polymorphic Type, Region and Effect Inference. Journal of Functional Programming 2(3), 245\u2013271 (1992)","journal-title":"Journal of Functional Programming"},{"issue":"4","key":"8610_CR40","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1145\/291891.291894","volume":"20","author":"M. Tofte","year":"1998","unstructured":"40. Tofte, M., Birkedal, L.: A Region Inference Algorithm. ACM Transactions on Progamming Languages and Systems 20(4), 724\u2013767 (1998)","journal-title":"ACM Transactions on Progamming Languages and Systems"},{"issue":"2","key":"8610_CR41","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M. Tofte","year":"1997","unstructured":"41. Tofte, M., Talpin, J.-P.: Region-Based Memory Management. Information and Computation 132(2): 109\u2013176 (1997)","journal-title":"Information and Computation"},{"issue":"8","key":"8610_CR42","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1007\/s00236-002-0081-8","volume":"38","author":"V.T. Chakaravarthy","year":"2001","unstructured":"42. Chakaravarthy, V.T., Horwitz, S.: On The Non Approximability of Points-to Analysis. Acta Informatica 38(8), 587\u2013598 (2001)","journal-title":"Acta Informatica"},{"issue":"6","key":"8610_CR43","first-page":"1","volume":"30","author":"R.P. Wilson","year":"1995","unstructured":"43. Wilson, R.P., Lam, M.S.: Efficient Context-Sensitive Pointer Analysis for C programs. In: Proceedings of the Conference on Programming Language Design and Implementation Vol. 30, no. 6, pp. 1\u201312 (1995)","journal-title":"Proceedings of the Conference on Programming Language Design and Implementation"},{"key":"8610_CR44","doi-asserted-by":"crossref","unstructured":"44. Smolka, G.: The Oz Programming Model. In: Current Trends in Computer Science. LNCS 1000 Springer (1995)","DOI":"10.1007\/BFb0015252"},{"key":"8610_CR45","unstructured":"45. Hanus, M., Kuchen, H., Moreno-Navarro, J.J.: Curry: A Truly Functional Logic Language. In: Proc. ILPS, Workshop on Visions for the Future of Logic Programming (1995)"},{"key":"8610_CR46","doi-asserted-by":"crossref","unstructured":"46. Shavit, N., Touitou, D.: Software Transactional Memory. In: ACM Symposium on Principles of Distributed Computing, pp. 204\u2013213 (1995)","DOI":"10.1145\/224964.224987"},{"key":"8610_CR47","doi-asserted-by":"crossref","unstructured":"47. Welc, A., Jagannathan, S., Hosking, A.L.: Transactional Monitors for Concurrent Objects. European Conference on Object-Oriented Programming, pp. 519\u2013542 (2004)","DOI":"10.1007\/978-3-540-24851-4_24"},{"key":"8610_CR48","doi-asserted-by":"crossref","unstructured":"48. Vitek, J., Jagannathan, S., Welc, A., Hosking, A.L.: A Semantic Framework for Designer Transactions. European Symposium on Programming, pp. 249\u2013263 (2004)","DOI":"10.1007\/978-3-540-24725-8_18"},{"key":"8610_CR49","doi-asserted-by":"crossref","unstructured":"49. Flanagan,C., Qadeer, S.: A Type and Effect System for Atomicity. ACM SIGPLAN Confererence on Programming Language Design and Implementation, pp. 338\u2013349 (2004)","DOI":"10.1145\/780822.781169"},{"issue":"10","key":"8610_CR50","first-page":"5","volume":"37","author":"R. Rajwar","year":"2002","unstructured":"50. Rajwar, R., Goodman, J.R.: Transactional Lock-free Execution of Lock-Based Programs. In: ACM Conference on Architectural Support for Programming Languages and Systems Vol. 37, no. 10, pp. 5\u201317 (2002)","journal-title":"ACM Conference on Architectural Support for Programming Languages and Systems"},{"key":"8610_CR51","first-page":"419","volume":"1","author":"W. Weimer","year":"2004","unstructured":"51. Weimer, W., Necula, G.C.: Finding and Preventing Run-Time Error Handling Mistakes. In: 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications,1 pp. 419\u2013431 (2004)","journal-title":"19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications"}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-006-8610-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10990-006-8610-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-006-8610-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:29:40Z","timestamp":1559352580000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-006-8610-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["8610"],"URL":"https:\/\/doi.org\/10.1007\/s10990-006-8610-8","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3]]}}}