Author:
Tavares André,Boissinot Benoit,Pereira Fernando,Rastello Fabrice
Publisher
Springer Berlin Heidelberg
Reference41 articles.
1. Ananian, S.: The static single information form. Master’s thesis. MIT (September 1999)
2. Appel, A.W., Palsberg, J.: Modern Compiler Implementation in Java, 2nd edn. Cambridge University Press (2002)
3. Biggar, P., de Vries, E., Gregg, D.: A practical solution for scripting language compilers. In: SAC, pp. 1916–1923. ACM (2009)
4. Bodik, R., Gupta, R., Sarkar, V.: ABCD: Eliminating array bounds checks on demand. In: PLDI, pp. 321–333. ACM (2000)
5. Boissinot, B., Hack, S., Grund, D., de Dinechin, B.D., Rastello, F.: Fast liveness checking for SSA-form programs. In: CGO, pp. 35–44. IEEE (2008)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SSA Translation Is an Abstract Interpretation;Proceedings of the ACM on Programming Languages;2023-01-09
2. Compacting points-to sets through object clustering;Proceedings of the ACM on Programming Languages;2021-10-20
3. Demand-driven less-than analysis;Proceedings of the 21st Brazilian Symposium on Programming Languages;2017-09-21