Author:
Filipiuk Piotr,Terepeta Michał,Nielson Hanne Riis,Nielson Flemming
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools, 2nd edn., p. 1009. Pearson/Addison Wesley, Boston, MA, USA (2007)
2. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)
3. Bouajjani, A., Esparza, J., Touili, T.: A generic approach to the static analysis of concurrent programs with procedures. Int. J. Found. Comput. Sci. 14(4), 551 (2003)
4. Bryant, R.E.: Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv. 24(3), 293–318 (1992)
5. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL, pp. 238–252 (1977)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On Fuzzy Preordered Sets and Monotone Galois Connections;2015 IEEE Symposium Series on Computational Intelligence;2015-12
2. On Galois Connections and Soft Computing;Advances in Computational Intelligence;2013