Open Effects: Optimistic Effects for Dynamic Dispatch
作者： Hridesh Rajan , Yuheng Long
DOI:
关键词: Technical report 、 Dynamic dispatch 、 Mathematical proof 、 Optimistic concurrency control 、 Database 、 Programming language 、 Computer science
摘要: This is the Technical Report version of 2013 ECOOP submission by same title. It includes verbatim, followed an appendix containing omitted contents and proofs.
参考文章(44)
D. Goyal, An Improved Intra-procedural May-alias Analysis Algorithm New York University. ,(1999)
Alexandru Sălcianu, Martin Rinard, Purity and Side Effect Analysis for Java Programs Lecture Notes in Computer Science. pp. 199- 215 ,(2005) , 10.1007/978-3-540-30579-8_14
Martin Rinard, Alexandru Salcianu, A Combined Pointer and Purity Analysis for Java Programs ,(2004)
Curtis Clifton, Gary T. Leavens, MiniMAO1: Investigating the Semantics of Proceed ,(2005)
Aaron Greenhouse, John Boyland, An Object-Oriented Effects System european conference on object oriented programming. pp. 205- 229 ,(1999) , 10.1007/3-540-48743-3_10
Ioannis T. Kassios, Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions FM 2006: Formal Methods. pp. 268- 283 ,(2006) , 10.1007/11813040_19
William Thies, Michal Karczmarek, Saman Amarasinghe, StreamIt: A Language for Streaming Applications compiler construction. pp. 179- 196 ,(2002) , 10.1007/3-540-45937-5_14
Jeremy Siek, Walid Taha, Gradual typing for objects european conference on object-oriented programming. pp. 2- 27 ,(2007) , 10.5555/2394758.2394762
Gul Agha, Carl Hewitt, Concurrent Programming Using Actors: Exploiting Large-Scale Parallelism foundations of software technology and theoretical computer science. pp. 19- 41 ,(1985) , 10.1007/3-540-16042-6_2
Young Gil Park, Benjamin Goldberg, Escape analysis on lists programming language design and implementation. ,vol. 27, pp. 116- 127 ,(1992) , 10.1145/143095.143125