( en | de | ru )

 

Disambiguation of "Sapiña, Julia"

Author of the publication

copydeleteadd this publication to your clipboard
Assertion-based Analysis via Slicing with ABETS (System Description).

, , , and . CoRR, (2016)

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.

Igor Sapina

Guenter Julian

Otto Julian

Ernst Julian

Aldo Alfredo Julian

 

Other publications of authors with the same name

Assertion-based Analysis via Slicing with ABETS (System Description)., , , and . CoRR, (2016)Inspecting Maude variants with GLINTS., , , and . Theory Pract. Log. Program., 17 (5-6): 689-707 (2017)Symbolic Specialization of Rewriting Logic Theories with Presto., , , and . Theory Pract. Log. Program., 22 (3): 444-495 (2022)Optimization of rewrite theories by equational partial evaluation., , , and . J. Log. Algebraic Methods Program., (2022)Most General Variant Unifiers., and . ICLP Technical Communications, volume 306 of EPTCS, page 154-167. (2019)Symbolic Analysis of Maude Theories with Narval., , , and . Theory Pract. Log. Program., 19 (5-6): 874-890 (2019)An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis., , and . J. Log. Algebraic Methods Program., (October 2023)Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System., , and . Math. Comput. Sci., 14 (3): 591-606 (2020)Exploring conditional rewriting logic computations., , , and . J. Symb. Comput., (2015)Variant-Based Equational Anti-unification., , , and . LOPSTR, volume 13474 of Lecture Notes in Computer Science, page 44-60. Springer, (2022)