Zobrazeno 1 - 10
of 89
pro vyhledávání: '"RIESCO, ADRIÁN"'
Autor:
Rubio, Rubén, Riesco, Adrián
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming January 2025 142
Autor:
Martin-Martin, Enrique, Montenegro, Manuel, Riesco, Adrián, Rodríguez-Hortalá, Juan, Rubio, Rubén
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming April 2023 132
Stream processing has reached the mainstream in the last years, as a new generation of open source distributed stream processing systems, designed for scaling horizontally on commodity hardware, has brought the capability for processing high volume a
Externí odkaz:
http://arxiv.org/abs/1812.11838
Autor:
Riesco, Adrián, Ogata, Kazuhiro
Publikováno v:
In The Journal of Systems & Software July 2022 189
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming June 2022 127
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 language operational semantics. (By context-updates we understand programmi
Externí odkaz:
http://arxiv.org/abs/1709.06897
Publikováno v:
In Information and Software Technology January 2021 129
Publikováno v:
EPTCS 173, 2015, pp. 87-99
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 due to Hullot states that any term rewriting derivation starting from a
Externí odkaz:
http://arxiv.org/abs/1501.02035
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming October 2019 107:1-37
Publikováno v:
Theory and Practice of Logic Programming 14 (2014) 65-116
Functional logic programming (FLP) languages use non-terminating and non-confluent constructor systems (CS's) as programs in order to define non-strict non-determi-nistic functions. Two semantic alternatives have been usually considered for parameter
Externí odkaz:
http://arxiv.org/abs/1203.2431