Author:
Bruynooghe Maurice,Demoen Bart,Boulanger Dmitri,Denecker Marc,Mulkers Anne
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. D. Boulanger and M. Bruynooghe. A systematic construction of abstract domains. In B. Le Charlier, ed., Proceedings of the first International Static Analysis Symposium, SAS'94, pp. 61–77. LNCS 864, Springer-Verlag, Sept. 1994.
2. D. Boulanger, M. Bruynooghe, and M. Denecker. Abstracting S-semantics using a model-theoretic approach. In M. Hermenegildo and J. Penjam, ed., Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming, PLILP'94, pp. 432–446. LNCS 844, Springer-Verlag, Sept. 1994.
3. D. Boulanger. Complete Analysis for Definite Logic Programs. Proc. 11th Workshop Logische Programmierung, Technische Universität Wien, GMD-Studien Nr.270, September, 1995, 101–110.
4. M. Bruynooghe and M. Codish. Freeness, sharing, linearity and correctness — all at once. In P. Cousot, M. Falaschi, G. Filé, and A. Rauzy, ed., Proceedings of the Third International Workshop on Static Analysis, LNCS 724, pp. 153–164, Padova, Italy, Sept. 1993. Springer-Verlag.
5. M. Bruynooghe, M. Codish and A. Mulkers. Abstracting Unification: A key step in the design of logic program analyses. In Computer Science Today, Recent Trends and Developments, Jan van Leeuwen ed. LNCS Vol 1000, pp. 406–425, 1995. Springer-Verlag.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献