The following pages link to Adrián Riesco (Q520241):
Displayed 24 items.
- A Maude environment for CafeOBJ (Q520244) (← links)
- Model checking parameterized by the semantics in Maude (Q1648886) (← links)
- A formal proof generator from semi-formal proof documents (Q1675786) (← links)
- Declarative debugging of rewriting logic specifications (Q1931907) (← links)
- Declarative debugging of concurrent Erlang programs (Q1994356) (← links)
- CiMPG+F: a proof generator and fixer-upper for CafeOBJ specifications (Q2037935) (← links)
- Hardware Trojan detection via rewriting logic (Q2141287) (← links)
- A core Erlang semantics for declarative debugging (Q2329440) (← links)
- Verification of the ROS NavFn planner using executable specification languages (Q2693303) (← links)
- Specifying and Analyzing the Kademlia Protocol in Maude (Q2787447) (← links)
- A Generic Program Slicing Technique Based on Language Definitions (Q2848888) (← links)
- S-Narrowing for Constructor Systems (Q2915104) (← links)
- Integrating Maude into Hets (Q3067467) (← links)
- A Complete Declarative Debugger for Maude (Q3067479) (← links)
- Declarative Debugging of Rewriting Logic Specifications (Q3184739) (← links)
- Declarative Debugging of Membership Equational Logic Specifications (Q3507364) (← links)
- Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees (Q4909314) (← links)
- Enhancing the Debugging of Maude Specifications (Q4933288) (← links)
- Property-Based Testing for Spark Streaming (Q4957189) (← links)
- Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging (Q5170702) (← links)
- A Declarative Debugger for Maude Functional Modules (Q5179130) (← links)
- Declarative Debugging of Missing Answers for Maude. (Q5389150) (← links)
- Singular and plural functions for functional logic programming (Q5410261) (← links)
- Memory Policy Analysis for Semantics Specifications in Maude (Q5743600) (← links)