Author:
Hermenegildo M.,Albert E.,López-García P.,Puebla G.
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Albert, E., Puebla, G., Hermenegildo, M.: An Abstract Interpretation-based Approach to Mobile Code Safety. In: Proc. of Compiler Optimization meets Compiler Verification (COCV 2004) (April 2004)
2. Bruynooghe, M.: A Practical Framework for the Abstract Interpretation of Logic Programs. Journal of Logic Programming 10, 91–124 (1991)
3. Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., Puebla, G. (eds.): The Ciao System. Reference Manual (v1.10). The ciao system documentation series–TR, School of Computer Science, Technical University of Madrid (UPM) (June 2002), System and on-line version of the manual, available at
http://clip.dia.fi.upm.es/Software/Ciao/
4. Chassin, J., Codognet, P.: Parallel Logic Programming Systems. Computing Surveys 26(3), 295–336 (1994)
5. Cousot, P., Cousot, R.: Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proc. of POPL 1977, pp. 238–252 (1977)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献