You are here

Home

Publications

Export 94 results:
Book Chapter
M. Alpuente, Falaschi, M., and Villanueva, A., “A Symbolic Model checker for tccp Programs”, in Proceedings of the International Workshop on Rapid Integration of Software Ingeneering techniques (RISE'04), vol. 3475, Springer Verlag, 2005, pp. 45–56.
M. Alpuente, Ballis, D., and Falaschi, M., “Transformation and Debugging of Functional Logic Programs”, in 25 Years GULP 2010, Springer, 2010, pp. 271–299.
Conference Proceedings
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., “An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation”, Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). pp. 81–92, 2007.
M. Alpuente, Ballis, D., Escobar, S., Falaschi, M., and Lucas, S., “Abstract Correction of First-Order Functional Programs”, 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, vol. 86. Elsevier, 2003.
M. Alpuente, Ballis, D., Escobar, S., Falaschi, M., and Lucas, S., “Abstract Correction of OBJ-like Programs”, Informl Proceeding of APPIA GULP PRODE 2003 (AGP 2003). pp. 422–433, 2003.
M. Comini, Levi, G., and Vitiello, G., “Abstract Debugging of Logic Programs”, Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994, vol. 883. Springer-Verlag, pp. 440–450, 1994.
G. Bacci and Comini, M., “Abstract Diagnosis of First Order Functional Logic Programs”, Logic-Based Program Synthesis and Transformation – 20th International Symposium – Pre-Proceedings, vol. 10-14. Hagenberg, Austria, pp. 58–72, 2010.
G. Bacci and Comini, M., “Abstract Diagnosis of First Order Functional Logic Programs”, Logic-based Program Synthesis and Transformation, 20th International Symposium, vol. 6564. Springer-Verlag, Berlin, p. 215--233, 2011.
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.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., “The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages”, Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012), vol. 17. Budapest, Hungary, pp. 144-153, 2012.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., “The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages”, ICLP (Technical Communications), vol. To appear. Schloss Dagstuhl - Leibniz-Zentrum Fuer Informatik, 2012.
M. Comini and Levi, G., “An Algebraic Theory of Observables”, Proceedings of the 1994 Int'l Symposium on Logic Programming. The MIT Press, pp. 172–186, 1994.
R. Bagnara, Comini, M., Scozzari, F., and Zaffanella, E., “The AND-compositionality of CLP Computed Answer Constraints”, Proceedings APPIA-GULP-PRODE'96 Joint Conference on Declarative Programming. pp. 355–366, 1996.
M. Comini, Gori, R., and Levi, G., “Assertion based Inductive Verification Methods for Logic Programs”, Proceedings of MFCSIT'2000, vol. 40. Elsevier Science Publishers, pp. 1–18, 2001.
M. Alpuente, Ballis, D., and Falaschi, M., “An Automated Tool for Web Sites Verification”, Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, vol. 3229. Springer, pp. 726–729, 2004.
M. Alpuente, Ballis, D., and Falaschi, M., “Automated Verification of Web Sites Using Partial Rewriting”, Pre-Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004. pp. 81–88, 2004.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., “Automatic Synthesis of Specifications for Curry Programs”, Logic-based Program Synthesis and Transformation, 21th International Symposium – Pre-Proceedings. Springer-Verlag, Odense, Denmark, 2011.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., “Automatic Synthesis of Specifications for First Order Curry Programs”, Proceedings of the 14th symposium on Principles and practice of declarative programming. ACM, New York, NY, USA, pp. 25–34, 2012.
M. Alpuente, Ballis, D., Espert, J., and Romero, D. O., “Backward Trace Slicing for Rewriting Logic Theories”, 23rd International Conference on Automated Deduction, CADE 23. Springer, 2011.
A. Baruzzo and Comini, M., “Checking UML Model Consistency”, Proceedings of CILC 2006 - Convegno Italiano di Logica Computazionale. pp. 1–15, 2006.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M., “Completeness of Unfolding for Rewriting Logic Theories”, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. IEEE Computer Society Press, pp. 116–123, 2010.
M. Comini, Levi, G., and Meo, M. C., “Compositionality of SLD-derivations and their abstractions”, Proceedings of the 1995 Int'l Symposium on Logic Programming. The MIT Press, pp. 561–575, 1995.
M. Alpuente, Ballis, D., Correa, F., and Falaschi, M., “Correction of Functional Logic Programs”, Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, vol. 2618. Springer, pp. 54–68, 2003.
D. Ballis, Falaschi, M., Ferri, C., Hernández-Orallo, J., and Ramirez-Quintana, J. M., “Cost-Sensitive Diagnosis of Declarative Programs”, 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, vol. 86. Elsevier, p. 3, 2003.
M. Comini, Levi, G., and Vitiello, G., “Declarative Diagnosis Revisited”, Proceedings of the 1995 Int'l Symposium on Logic Programming. The MIT Press, pp. 275–287, 1995.
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., “Defining Datalog in Rewriting Logic”, Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'09), vol. 6037. Springer-Verlag, pp. 188–204, 2010.
M. Comini, Drabent, W., and Pietrzak, P., “Diagnosis of CHIP Programs Using Type Information”, Appia-Gulp-Prode'99, Joint Conference on Declarative Programming. pp. 337–349, 1999.
M. Comini, Levi, G., and Vitiello, G., “Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs”, Proc. 2nd International Workshop on Automated and Algorithmic Debugging, AADEBUG'95. 1995.
M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O., “A Fast Algebraic Web Verification Service”, Web Reasoning and Rule Systems, 1st International Conference, RR 2007, vol. 4524. Springer, 2007.

Pages

created with Drupal | customized by Giovanni Bacci