Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Juan Rodríguez-Hortalá"'
Autor:
Adrián Riesco, Juan Rodríguez-Hortalá
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 173, Iss Proc. PROLE 2014, Pp 87-99 (2015)
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:
https://doaj.org/article/0c4c400bee1b46678994e631e77dcf6b
The Robot Operating System (ROS) is a framework for building robust software for complex robot systems in several domains. The Navigation Stack stands out among the different libraries available in ROS, providing a set of components that can be reuse
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a68bc17d411ffec086a6bacdcb39b0c
https://eprints.ucm.es/id/eprint/76791/
https://eprints.ucm.es/id/eprint/76791/
Publikováno v:
IEEE Access, Vol 7, Pp 150369-150382 (2019)
Apache Flink is an open-source, soft real-time stream processing framework underlying many modern systems dealing with cloud and real-time computing, data analytics, and the Internet of Things, among others. As the complexity of stream-processing sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7dee36c0a66dd6092d4f8fb2373bd86c
https://doi.org/10.1109/access.2019.2947361
https://doi.org/10.1109/access.2019.2947361
Autor:
Juan Rodríguez-Hortalá, Adrián Riesco
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:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b8a66d6fd0ab7a5fb92094ca36ea571f
http://arxiv.org/abs/1812.11838
http://arxiv.org/abs/1812.11838
Publikováno v:
Mathematical Structures in Computer Science. 25:942-977
We propose a new type system for functional logic programming which is more liberal than the classical Damas–Milner usually adopted, but it is also restrictive enough to ensure type soundness. Starting from Damas–Milner typing of expressions, we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e63dbce224c15d6cfbaaf927f7939fa
https://doi.org/10.1017/s0960129513000091
https://doi.org/10.1017/s0960129513000091
Autor:
Adrián Riesco, Juan Rodríguez-Hortalá
Publikováno v:
Electronic Notes in Theoretical Computer Science. 253(7):165-175
Recently, a new semantics for non-deterministic lazy functional(-logic) programming has been presented, in which the treatment of parameter passing was different to previous proposals like call-time choice (CRWL) and run-time choice (term rewriting).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8d23feafb618324c302ed0cbb233ccfc
Publikováno v:
Functional and Logic Programming ISBN: 9783319296036
FLOPS
FLOPS
Erlang is a concurrent functional programming language developed by Ericsson, well suited for implementing distributed systems. Although Erlang is dynamically typed, the Dialyzer static analysis tool can be used to extract implicit type information f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7182e23c521a032e106df38cb6532a0d
https://doi.org/10.1007/978-3-319-29604-3_12
https://doi.org/10.1007/978-3-319-29604-3_12
Autor:
Adrián Riesco, Juan Rodríguez-Hortalá
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319336923
IFM
IFM
With the rise of Big Data technologies, distributed stream processing systems SPS have gained popularity in the last years. Among them, Spark Streaming stands out as a particularly attractive option with a growing adoption in the industry. In this wo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f1f107eb290420194f06db98c355f382
https://doi.org/10.1007/978-3-319-33693-0_25
https://doi.org/10.1007/978-3-319-33693-0_25
Publikováno v:
E-Prints Complutense. Archivo Institucional de la UCM
instname
E-Prints Complutense: Archivo Institucional de la UCM
Universidad Complutense de Madrid
instname
E-Prints Complutense: Archivo Institucional de la UCM
Universidad Complutense de Madrid
Type systems are widely used in programming languages as a powerful tool providing safety to programs. Functional logic languages have inherited Damas-Milner type system from their functional part due to its simplicity and popularity. In this paper w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d67b8d68c9512d9e0bf7e44d15f4058
Autor:
Juan Rodríguez-Hortalá, Enrique Martin-Martin, Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Publikováno v:
E-Prints Complutense: Archivo Institucional de la UCM
Universidad Complutense de Madrid
E-Prints Complutense. Archivo Institucional de la UCM
instname
Universidad Complutense de Madrid
E-Prints Complutense. Archivo Institucional de la UCM
instname
Non-confluent and non-terminating constructor-based term rewrite systems are useful for the purpose of specification and programming. In particular, existing functional logic languages use such kind of rewrite systems to define possibly non-strict no
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::07a9bc9b3326171056313e6e2f8c7623