Exceptionally safe futures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5521 LNCS, Issue , 2009, Pages 47-65

  Navabi, Armand ^a   Jagannathan, Suresh ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANNOTATED PROGRAM; EXCEPTION HANDLERS; FUNCTIONAL LANGUAGES; HIGHER ORDER; INTERNAL CONTROLS; NON-LOCAL CONTROL; RUNTIMES; SEQUENTIAL PROGRAMS;

LINGUISTICS; QUERY LANGUAGES;

CONCURRENCY CONTROL;

EID: 68749093098     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02053-7_3     Document Type: Conference Paper

References (14)

1. 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-220 (1995)
2. Flanagan, C., Felleisen, M.: The semantics of future and an application. J. Funct. Program. 9(1), 1-31 (1999)
3. Halstead, R.: Multilisp: A Language for Concurrent Symbolic Computation. ACM TOPLAS 7(4), 501-538 (1985)
4. Kranz, D., Halstead Jr., R.H., Mohr, E.: Mul-T: A high-performance parallel Lisp. In: PLDI 1989, vol. 24, pp. 81-90 (July 1989)
5. 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-197 (1990)
6. Shivers, O.: Control-Flow Analysis of Higher-Order Languages or Taming Lambda. Ph.D thesis, Carnegie Mellon University (May 1991)
7. Palsberg, J.: Closure analysis in constraint form. In: ACM TOPLAS, pp. 47-62 (1995)
8. Navabi, A., Jagannathan, S.: Exceptionally Safe Futures. Tech. Report CSD TR #08-027, Purdue University Department of Computer Science, http://www.cs.purdue.edu/homes/anavabi/tr08027.pdf
9. Navabi, A., Zhang, X., Jagannathan, S.: Quasi-static scheduling for safe futures. In: PPOPP 2008, pp. 23-32 (2008)
10. Welc, A., Jagannathan, S., Hosking, A.: Safe futures for Java. In: OOPSLA 2005, pp. 439-453. ACM Press, New York (2005)
11. Zhang, L., Krintz, C., Nagpurkar, P.: Supporting Exception Handling for Futures in Java. In: PPPJ, pp. 175-184 (2007)
12. de Boer, F.S., Clarke, D., Johnsen, E.B.: A Complete Guide to the Future. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 316-330. Springer, Heidelberg (2007)
13. 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)
14. 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-538 (2005)