Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System von Alpuente, M., Ballis, D., Sapiña, J.

Volltext

Assertion-based analysis via slicing with ABETS (system description) von ALPUENTE, M., FRECHINA, F., SAPIÑA, J., BALLIS, D.

Volltext

An integrated framework for the diagnosis and correction of rule-based programs von Alpuente, M., Ballis, D., Correa, F., Falaschi, M.

Volltext

A compact fixpoint semantics for term rewriting systems von Alpuente, M., Comini, M., Escobar, S., Falaschi, M., Iborra, J.

Volltext

On-demand strategy annotations revisited: An improved on-demand evaluation strategy von Alpuente, M., Escobar, S., Gramlich, B., Lucas, S.

Volltext

Static correction of Maude programs with assertions von Alpuente, M., Ballis, D., Sapiña, J.

Volltext

A partial evaluation framework for order-sorted equational programs modulo axioms von Alpuente, M., Cuenca-Ortega, A., Escobar, S., Meseguer, J.

Volltext

Optimization of rewrite theories by equational partial evaluation von Alpuente, M., Ballis, D., Escobar, S., Sapiña, J.

Volltext

Exploring conditional rewriting logic computations von Alpuente, M., Ballis, D., Frechina, F., Sapiña, J.

Volltext

A Symbolic Model Checker for tccp Programs von Alpuente, M., Falaschi, M., Villanueva, A.

Volltext

Safety enforcement via programmable strategies in Maude von Alpuente, M., Ballis, D., Escobar, S., Galán, D., Sapiña, J.

Volltext

Verdi: An Automated Tool for Web Sites Verification von Alpuente, M., Ballis, D., Falaschi, M.

Volltext

Simulación para formar en la competencia de valoración preanestésica: diseño común para residentes de primer año de anestesiología y enfermeras de anestesia von López-Baamonde, M., Martín-Calabuig, A., Coca, M., Fargas-Alpuente, M., Gómez, L., Bergé, R., Tena, B., Gomar-Sancho, C.

Volltext

On Inductive Proofs by Extended Unfold/Fold Transformation Rules von Seki, Hirohisa

Volltext

Inspecting Maude variants with von ALPUENTE, M, ESCOBAR, S, SAPIÑA, J, CUENCA-ORTEGA, A

Volltext

Removing redundant arguments automatically von ALPUENTE, M., ESCOBAR, S., LUCAS, S.

Volltext

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

Volltext

Inspecting Maude variants with GLINTS von ALPUENTE, M., ESCOBAR, S., SAPIÑA, J., CUENCA-ORTEGA, A.

Volltext

Assertion-based analysis via slicing with (system description) von ALPUENTE, M, FRECHINA, F, SAPIÑA, J, BALLIS, D

Volltext

Safe folding/unfolding with conditional narrowing von Alpuente, M., Falaschi, M., Moreno, G., Vidal, G.

Volltext