3 papers
cs.LO2026
Executable Specifications in Transition Algebra
Daniel Găină, Adrián Riesco, Ionuţ Ţuţu
Transition Algebra can be viewed as an extension of many-sorted first-order logic by borrowing essential features from dynamic logic. This leads us to new, more expressive sentence…
cs.PL2017
Context-Updates Analysis and Refinement in Chisel
Irina Mariuca Asavoae, Mihail Asavoae, Adrian Riesco
This paper presents the context-updates synthesis component of Chisel--a tool that synthesizes a program slicer directly from a given algebraic specification of a programming langu…
cs.PL2015
Lifting Term Rewriting Derivations in Constructor Systems by Using Generators
Adrián Riesco, Juan Rodríguez-Hortalá
Narrowing is a procedure that was first studied in the context of equational E-unification and that has been used in a wide range of applications. The classic completeness result d…