F.LI.T. | (Formal LIght-weight Tools)

You are here

M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., “Implementing Datalog in Maude”, Proceedings of the IX Jornadas sobre Programación y Lenguajes (PROLE'09) and I Taller de Programación Funcional (TPF'09). pp. 15–22, 2009.

M. Alpuente, Ballis, D., and Romero, D. O., “Specification and Verification of Web Applications in Rewriting Logic”, 16th International Symposium on Formal Methods, FM 2009. Springer, pp. 790–805, 2009.

M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., “Using Datalog and Boolean Equation Systems for Program Analysis”, Proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'08), vol. 5596. Springer-Verlag, pp. 215–231, 2009.

M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., “DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer”, Electronic Notes in Theoretical Computer Science, vol. 248, pp. 57–66, 2009.

M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., “Defining Datalog in Rewriting Logic”. DSIC, Universidad Politécnica de Valencia, 2009.

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.

M. Comini, Damiani, F., and Vrech, S., “On Polymorphic Recursion, Type Systems, and Abstract Interpretation”, Static Analysis – 15th International Symposium, SAS 2008, vol. 5079. Springer-Verlag, Berlin, pp. 144–158, 2008.

M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M., “Semantic Verification of Web System Contents”, ER 2008 Workshops (WISM 2008), vol. 5232. Springer, pp. 437–446, 2008.

M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., “An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation”, Electronic Notes in Theoretical Computer Science, vol. 206, pp. 3–21, 2008.

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