Author:
Alpuente María,Ballis Demis,Escobar Santiago,Meseguer Jose,Sapiña Julia
Publisher
Springer Nature Switzerland
Reference50 articles.
1. Albert, E., Alpuente, M., Falaschi, M., Vidal, G.: Indy User’s Manual. Technical report DSIC-II/12/98, Department of Computer Systems and Computation, Universitat Politècnica de València (1998)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);E Albert,1999
3. Alpuente, M., Ballis, D., Baggi, M., Falaschi, F.: A fold/unfold transformation framework for rewrite theories extended to CCT. In: Gallagher, J., Voigtländer, J. (eds.) ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2010), pp. 43–52. ACM. https://doi.org/10.1145/1706356.1706367
4. Alpuente, M., Ballis, D., Frechina, F., Sapiña, J.: Assertion-based analysis via slicing with ABETS (system description). Theory Pract. Logic Program. 16(5–6), 515–532 (2016)
5. Alpuente, M., Ballis, D., Frechina, F., Sapiña, J.: Debugging Maude programs via runtime assertion checking and trace slicing. J. Log. Algebr. Methods Program. 85, 707–736 (2016)