Author:
Feltman Nicolas,Angiuli Carlo,Acar Umut A.,Fatahalian Kayvon
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Acar, U.A., Blelloch, G.E., Blume, M., Harper, R., Tangwongsan, K.: An experimental analysis of self-adjusting computation. ACM Trans. Prog. Lang. Sys. 32(1), 3:1–3:53 (2009)
2. Bondorf, A., Danvy, O.: Automatic autoprojection of recursive equations with global variable and abstract data types. Sci. Comput. Program. 16(2), 151–195 (1991)
3. Lecture Notes in Computer Science;C Consel,1988
4. Davies, R.: A temporal-logic approach to binding-time analysis. In: LICS, pp. 184–195 (1996)
5. Davies, R., Pfenning, F.: A modal analysis of staged computation. J. ACM 48(3), 555–604 (2001)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Competitive parallelism: getting your priorities right;Proceedings of the ACM on Programming Languages;2018-07-30
2. Parallel complexity analysis with temporal session types;Proceedings of the ACM on Programming Languages;2018-07-30
3. Static stages for heterogeneous programming;Proceedings of the ACM on Programming Languages;2017-10-12
4. Responsive parallel computation: bridging competitive and cooperative threading;ACM SIGPLAN Notices;2017-09-14
5. Responsive parallel computation: bridging competitive and cooperative threading;Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation;2017-06-14