Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. B. Courcelle, M. Mosbah: Monadic Second-Order Evaluations on Tree-Decomposable Graphs. Theor. Comp. Sci. 109 (1993), 49–82
2. P. Cousot, R. Cousot: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. 4th Symp. on Principles of Programming Languages, 238–252, Los Angeles, California, 1977
3. P. Cousot, R. Cousot: Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. Tech. Report LIENS 92-16, Paris, 1992
4. P. Cousot, R. Cousot: Abstract Interpretation and Application to Logic Programs. Tech. Report LIX/RR/92/08, Palaiseau, 1992
5. M.L. Fredman, R.E. Tarjan: Fibonacci Heaps and Their Uses in Improved Network Optimization Algorithms. JACM (34), 597–615, 1987
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A unified framework for binding-time analysis;TAPSOFT '97: Theory and Practice of Software Development;1997