{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:12:42Z","timestamp":1743027162057,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642020520"},{"type":"electronic","value":"9783642020537"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02053-7_3","type":"book-chapter","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T02:13:15Z","timestamp":1244599995000},"page":"47-65","source":"Crossref","is-referenced-by-count":6,"title":["Exceptionally Safe Futures"],"prefix":"10.1007","author":[{"given":"Armand","family":"Navabi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suresh","family":"Jagannathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Flanagan, C., Felleisen, M.: The semantics of future and its use in program optimizations. In: Conference Record of POPL 1995, San Francisco, California, pp. 209\u2013220 (1995)","key":"3_CR1","DOI":"10.1145\/199448.199484"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796899003329","volume":"9","author":"C. Flanagan","year":"1999","unstructured":"Flanagan, C., Felleisen, M.: The semantics of future and an application. J. Funct. Program.\u00a09(1), 1\u201331 (1999)","journal-title":"J. Funct. Program."},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R. Halstead","year":"1985","unstructured":"Halstead, R.: Multilisp: A Language for Concurrent Symbolic Computation. ACM TOPLAS\u00a07(4), 501\u2013538 (1985)","journal-title":"ACM TOPLAS"},{"doi-asserted-by":"crossref","unstructured":"Kranz, D., Halstead Jr., R.H., Mohr, E.: Mul-T: A high-performance parallel Lisp. In: PLDI 1989, vol.\u00a024, pp. 81\u201390 (July 1989)","key":"3_CR4","DOI":"10.1145\/73141.74825"},{"doi-asserted-by":"crossref","unstructured":"Mohr, R., Kranz, D., Halstead, R.: Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs. In: ACM LFP Programming, June 1990, pp. 185\u2013197 (1990)","key":"3_CR5","DOI":"10.1145\/91556.91631"},{"unstructured":"Shivers, O.: Control-Flow Analysis of Higher-Order Languages or Taming Lambda. Ph.D thesis, Carnegie Mellon University (May 1991)","key":"3_CR6"},{"doi-asserted-by":"crossref","unstructured":"Palsberg, J.: Closure analysis in constraint form. In: ACM TOPLAS, pp. 47\u201362 (1995)","key":"3_CR7","DOI":"10.1145\/200994.201001"},{"unstructured":"Navabi, A., Jagannathan, S.: Exceptionally Safe Futures. Tech. Report CSD TR #08-027, Purdue University Department of Computer Science, \n                    \n                      http:\/\/www.cs.purdue.edu\/homes\/anavabi\/tr08027.pdf","key":"3_CR8"},{"doi-asserted-by":"crossref","unstructured":"Navabi, A., Zhang, X., Jagannathan, S.: Quasi-static scheduling for safe futures. In: PPOPP 2008, pp. 23\u201332 (2008)","key":"3_CR9","DOI":"10.1145\/1345206.1345212"},{"key":"3_CR10","first-page":"439","volume-title":"OOPSLA 2005","author":"A. Welc","year":"2005","unstructured":"Welc, A., Jagannathan, S., Hosking, A.: Safe futures for java. In: OOPSLA 2005, pp. 439\u2013453. ACM Press, New York (2005)"},{"doi-asserted-by":"crossref","unstructured":"Zhang, L., Krintz, C., Nagpurkar, P.: Supporting Exception Handling for Futures in Java. In: PPPJ, pp. 175\u2013184 (2007)","key":"3_CR11","DOI":"10.1145\/1294325.1294349"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-540-71316-6_22","volume-title":"Programming Languages and Systems","author":"F.S. Boer de","year":"2007","unstructured":"de Boer, F.S., Clarke, D., Johnsen, E.B.: A Complete Guide to the Future. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 316\u2013330. Springer, Heidelberg (2007)"},{"unstructured":"Allan, E., Chase, D., Luchangco, V., Maessen, J., Ryu, S., Steele, G., Tobin-Hochstadt, S.: The Fortress Language Specification Version 1.0. Tech. report, Sun Microsystems (2008)","key":"3_CR13"},{"doi-asserted-by":"crossref","unstructured":"Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an object-oriented approach to non-uniform cluster computing. In: OOPSLA 2005, pp. 519\u2013538 (2005)","key":"3_CR14","DOI":"10.1145\/1094811.1094852"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02053-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T14:17:19Z","timestamp":1552054639000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02053-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642020520","9783642020537"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02053-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}