E-LIB Suche - Ergebnisse für: Ballis, Demis

1

Modeling and Analyzing Reaction Systems in Maude:

Ballis, Demis ; Brodo, Linda ; Falaschi, Moreno
Electronics. 13 (2024) 6 - p. 1139 , 2024

2

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/..

3

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/..

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

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/..

6

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/..

7

$${\textsf {ACUOS}}^\mathbf {2}$$ : A High-Performance Syst..:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Alpuente, María ; Ballis, Demis ; Cuenca-Ortega, Angel.. - p. 171-181 , 2019

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

8

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/..

9

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/..

10

Using conditional trace slicing for improving Maude program:

Alpuente, María ; Ballis, Demis ; Frechina, Francisco.
Science of Computer Programming. 80 (2014) - p. 385-415 , 2014

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

11

A rewriting logic approach to the formal specification and ..:

Alpuente, María ; Ballis, Demis ; Romero, Daniel
Science of Computer Programming. 81 (2014) - p. 79-107 , 2014

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

12

Rewriting-based repairing strategies for XML repositories:

Alpuente, María ; Ballis, Demis ; Falaschi, Moreno..
The Journal of Logic and Algebraic Programming. 82 (2013) 8 - p. 326-352 , 2013

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

13

Foreword:

Ballis, Demis ; Kutsia, Temur
Journal of Symbolic Computation. 46 (2011) 2 - p. 93-94 , 2011

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

14

A fold/unfold transformation framework for rewrite theories..:

, In: Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation,

Alpuente, María ; Ballis, Demis ; Baggi, Michele. - p. 43-52 , 2010

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

15

Preface:

Ballis, Demis ; Escobar, Santiago
Electronic Notes in Theoretical Computer Science. 235 (2009) - p. 1-2 , 2009

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