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

Volltext

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

Volltext

Preventive CGRP-targeted therapies for chronic migraine with and without medication-overuse headache von Alpuente, Alicia, Torres-Ferrus, Marta, Terwindt, Gisela M.

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

Tracing Late Jurassic ornithopod diversity in the eastern Iberian Peninsula: Camptosaurus-like postcranial remains from Alpuente (Valencia, Spain) von Sánchez-Fenollosa, S., Verdú, F. J., Suñer, M., de Santisteban, C.

Volltext

Pollination biology of Aristolochia bianorii Sennen & Pau: promoting cross‐pollination but assuring reproductive success in island ecosystems von Alpuente, N., Miranda, M. Á., Cursach, J., Dafni, A.

Volltext

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

Volltext

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

Volltext

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

Volltext

Optimization of rewrite theories by equational partial evaluation von Alpuente, M., Ballis, D., Escobar, S., 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

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

Volltext

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

Volltext

Modular termination of basic narrowing and equational unification von Alpuente, María, Escobar, Santiago, Iborra, José

Volltext

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

Volltext

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

Volltext

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

Volltext