You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 5 results:

BibTex

Filters: Keyword is Abstract Verification [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

A

M. Alpuente, Comini, M., Escobar, S., Falaschi, M., and Lucas, S., “Abstract Diagnosis of Functional Programs”, Logic Based Program Synthesis and Tranformation – 12th International Workshop, LOPSTR 2002, Revised Selected Papers, vol. 2664. Springer-Verlag, Berlin, 2003.

M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O., “An Abstract Generic Framework for Web Site Verification”, 2008 International Symposium on Applications and the Internet, SAINT 2008. IEEE Computer Society, pp. 104–110, 2008.

C

M. Comini, Gori, R., and Levi, G., “How to Transform an Analyzer into a Verifier”, Logic for Programming and Automated Reasoning. Proceedings of the 8th International Conference (LPAR'01), vol. 2250. Springer-Verlag, Berlin, pp. 595–609, 2001.

M. Comini, Gori, R., Levi, G., and Volpe, P., “Abstract Interpretation based Verification of Logic Programs”, Science of Computer Programming, vol. 49, pp. 89–123, 2003.

F

M. Comini, “VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications”, Proceedings of 11th International Workshop on Functional and (constraint) Logic Programming. Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy, pp. 233–236, 2002.