Subject
Medical Laboratory Technology,Clinical Biochemistry
Reference10 articles.
1. Static correction of Maude programs with assertions;Alpuente;J. Syst. Softw.,2019
2. Optimization of rewrite theories by equational partial evaluation;Alpuente;J. Log. Algeb. Method. Program.,2022
3. Debugging Maude programs via runtime assertion checking and trace slicing;Alpuente;J. Log. Algeb. Method. Program.,2016
4. A rewriting logic framework for operational semantics of membrane systems;Andrei;Theoret. Comput. Sci.,2007
5. All about Maude - a high-performance logical framework, how to specify program and verify systems in rewriting logic;Clavel,2007