( en | de | ru )

 

Disambiguation of "Riesco, Adrián"

Author of the publication

copydeleteadd this publication to your clipboard
Memory Policy Analysis for Semantics Specifications in Maude.

, , and . LOPSTR, volume 9527 of Lecture Notes in Computer Science, page 293-310. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ricardo Riesco

Adrián Granada

Adrián Juárez

Adrián Navigante

Adrián Vergara Durán

 

Other publications of authors with the same name

An Integration of CafeOBJ into Full Maude.. WRLA, volume 8663 of Lecture Notes in Computer Science, page 230-246. Springer, (2014)Programming with singular and plural non-deterministic functions., and . PEPM, page 83-92. ACM, (2010)Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging.. FLOPS, volume 8475 of Lecture Notes in Computer Science, page 52-68. Springer, (2014)Memory Policy Analysis for Semantics Specifications in Maude., , and . LOPSTR, volume 9527 of Lecture Notes in Computer Science, page 293-310. Springer, (2015)MUnit: A Unit Framework for Maude.. WRLA@ETAPS, volume 11152 of Lecture Notes in Computer Science, page 45-58. Springer, (2018)Integration of SMGA and Maude to Facilitate Characteristic Conjecture., , , and . DMSVIVA, page 45-54. KSI Research Inc., (2022)Slicing from formal semantics: Chisel - a tool for generic program slicing., , and . Int. J. Softw. Tools Technol. Transf., 20 (6): 739-769 (2018)Declarative Debugging of Rewriting Logic Specifications., , , and . WADT, volume 5486 of Lecture Notes in Computer Science, page 308-325. Springer, (2008)An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms., , and . SSS, volume 11914 of Lecture Notes in Computer Science, page 111-126. Springer, (2019)Towards a Formal Semantics-Based Technique for Interprocedural Slicing., , and . IFM, volume 8739 of Lecture Notes in Computer Science, page 291-306. Springer, (2014)