Order-sorted equational generalization algorithm revisited von Alpuente, María, Escobar, Santiago, Meseguer, José, Sapiña, Julia

Volltext

Symbolic Specialization of Rewriting Logic Theories with Presto von ALPUENTE, MARÍA, ESCOBAR, SANTIAGO, SAPIÑA, JULIA, BALLIS, DEMIS

Volltext

A modular order-sorted equational generalization algorithm von Alpuente, María, Escobar, Santiago, Espert, Javier, Meseguer, José

Volltext

Imposing assertions in Maude via program transformation von Alpuente, María, Ballis, Demis, Sapiña, Julia

Volltext

Symbolic Analysis of Maude Theories with Narval von ALPUENTE, MARÍA, ESCOBAR, SANTIAGO, SAPIÑA, JULIA, BALLIS, DEMIS

Volltext

A partial evaluation methodology for optimizing rewrite theories incrementally von Alpuente, María, Ballis, Demis, Escobar, Santiago, Galán Pascual, Daniel, Sapiña, Julia

Volltext

Using conditional trace slicing for improving Maude programs von Alpuente, María, Ballis, Demis, Frechina, Francisco, Romero, Daniel

Volltext

A rewriting logic approach to the formal specification and verification of web applications von Alpuente, María, Ballis, Demis, Romero, Daniel

Volltext

Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers von Alpuente, María

Volltext

Automatic Inference of Specifications in the K Framework von Alpuente, María, Pardo, Daniel, Villanueva, Alicia

Volltext

Debugging Maude programs via runtime assertion checking and trace slicing von Alpuente, María, Ballis, Demis, Frechina, Francisco, Sapiña, Julia

Volltext

Automated Synthesis of Software Contracts with KindSpec von Alpuente, María, Villanueva, Alicia

Volltext

Termination of narrowing revisited von Alpuente, María, Escobar, Santiago, Iborra, José

Volltext

Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010) von Alpuente, María, Joubert, Christophe, Kowalewski, Stefan, Roveri, Marco

Volltext

Variant-Based Equational Anti-unification von Alpuente, María, Ballis, Demis, Escobar, Santiago, Sapiña, Julia

Volltext

ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance von Alpuente, María, Escobar, Santiago, Espert, Javier, Meseguer, José

Volltext

Inferring Safe Maude Programs with ÁTAME von Alpuente, María, Ballis, Demis, Sapiña, Julia

Volltext

Symbolic Abstract Contract Synthesis in a Rewriting Framework von Alpuente, María, Pardo, Daniel, Villanueva, Alicia

Volltext

Non-termination analysis of logic programs using types von Voets, Dean, De Schreye, Danny

Volltext

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009, Proceedings von Alpuente, María, Cook, Byron, Joubert, Christophe

Volltext