Author:
Frielinghaus Stefan Schulze,Petter Michael,Seidl Helmut
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Cocke, J., Schwartz, J.T.: Programming Languages and Their Compilers: Preliminary Notes. Courant Institute of Mathematical Sciences, New York University (1970)
2. Cousot, P.: Methods and logics for proving programs. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, Formal Models and Semantics, ch. 15, pp. 843–993. Elsevier Science Publishers, Amsterdam (1990)
3. Engelfriet, J.: Some open questions and recent results on tree transducers and tree languages. In: Book, R. (ed.) Formal Language Theory: Perspectives and Open Problems, pp. 241–286. Academic Press (1980)
4. Flexeder, A., Müller-Olm, M., Petter, M., Seidl, H.: Fast interprocedural linear two-variable equalities. ACM Trans. Program. Lang. Syst. 33(6), 21:1–21:33 (2011)
5. Lecture Notes in Computer Science;G. Godoy,2009
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献