E-LIB Suche - Ergebnisse für: Sapiña, Julia

1

An efficient canonical narrowing implementation with irredu..:

López-Rueda, Raúl ; Escobar, Santiago ; Sapiña, Julia
Journal of Logical and Algebraic Methods in Programming. 135 (2023) - p. 100895 , 2023

Link: https://doi.org/10.1016/..

2

Symbolic Analysis by Using Folding Narrowing with Irreducib..:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,

Escobar, Santiago ; López-Rueda, Raúl ; Sapiña, Julia - p. 14-25 , 2023

Link: https://dl.acm.org/doi/1..

3

Optimizing Maude Programs via Program Specialization:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,

Alpuente, María ; Ballis, Demis ; Escobar, Santiago.. - p. 21-50 , 2023

Link: https://doi.org/10.1007/..

4

Symbolic Specialization of Rewriting Logic Theories with Pr..:

ALPUENTE, MARÍA ; ESCOBAR, SANTIAGO ; SAPIÑA, JULIA.
Theory and Practice of Logic Programming. 22 (2022) 3 - p. 444-495 , 2022

Link: https://doi.org/10.1017/..

5

Variant-Based Equational Anti-unification:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Alpuente, María ; Ballis, Demis ; Escobar, Santiago. - p. 44-60 , 2022

Link: https://doi.org/10.1007/..

6

A partial evaluation methodology for optimizing rewrite the..:

Alpuente, María ; Ballis, Demis ; Escobar, Santiago..
MethodsX. 9 (2022) - p. 101802 , 2022

Link: https://doi.org/10.1016/..

7

Order-sorted equational generalization algorithm revisited:

Alpuente, María ; Escobar, Santiago ; Meseguer, José.
Annals of Mathematics and Artificial Intelligence. 90 (2021) 5 - p. 499-522 , 2021

Link: https://doi.org/10.1007/..

8

Protocol Analysis with Time and Space:

, In: Protocols, Strands, and Logic; Lecture Notes in Computer Science,

Aparicio-Sánchez, Damián ; Escobar, Santiago ; Meadows, Catherine.. - p. 22-49 , 2021

Link: https://doi.org/10.1007/..

9

An Optimizing Protocol Transformation for Constructor Finit..:

, In: Computer Security – ESORICS 2020; Lecture Notes in Computer Science,

Aparicio-Sánchez, Damián ; Escobar, Santiago ; Gutiérrez, Raúl. - p. 230-250 , 2020

Link: https://doi.org/10.1007/..

10

Protocol Analysis with Time:

, In: Progress in Cryptology – INDOCRYPT 2020; Lecture Notes in Computer Science,

Aparicio-Sánchez, Damián ; Escobar, Santiago ; Meadows, Catherine.. - p. 128-150 , 2020

Link: https://doi.org/10.1007/..

11

Imposing assertions in Maude via program transformation:

Alpuente, María ; Ballis, Demis ; Sapiña, Julia
MethodsX. 6 (2019) - p. 2577-2583 , 2019

Link: https://doi.org/10.1016/..

12

Symbolic Analysis of Maude Theories with Narval:

ALPUENTE, MARÍA ; ESCOBAR, SANTIAGO ; SAPIÑA, JULIA.
Theory and Practice of Logic Programming. 19 (2019) 5-6 - p. 874-890 , 2019

Link: https://doi.org/10.1017/..

13

Debugging Maude programs via runtime assertion checking and..:

Alpuente, María ; Ballis, Demis ; Frechina, Francisco.
Journal of Logical and Algebraic Methods in Programming. 85 (2016) 5 - p. 707-736 , 2016

Link: https://doi.org/10.1016/..

14

An Efficient Canonical Narrowing Implementation with Irredu..:

López-Rueda, Raúl ; Escobar, Santiago ; Sapiña, Julia
http://arxiv.org/abs/2307.06348. , 2023

Link: http://arxiv.org/abs/230..

15

A partial evaluation methodology for optimizing rewrite the..:

Alpuente, María ; Ballis, Demis ; Escobar, Santiago..
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9400080/. , 2022

Link: http://www.ncbi.nlm.nih...