Author:
Shkaravska Olha,van Kesteren Ron,van Eekelen Marko
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Bonfante, G., Marion, J.-Y., Moyen, J.-Y.: Quasi-interpretations, a way to control resources. Theoretical Computer Science (to appear)
2. Barendsen, E., Smetsers, S.: Uniqueness typing for functional languages with graph rewriting semantics. Mathematical Structures in Computer Science 6, 579–612 (1996)
3. Chatterjee, S., Blelloch, G.E., Fischer, A.L.: Size and access inference for data-parallel programs. In: PLDI ’91. Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, pp. 130–144 (1991)
4. Chui, C., Lai, H.C.: Vandermonde determinant and Lagrange interpolation in R s . Nonlinear and convex analysis, 23–35 ( 1987)
5. Hofmann, M., Jost, S.: Static prediction of heap space usage for first-order functional programs. SIGPLAN Not. 38(1), 185–197 (2003)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献