Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Herranz, Ángel"'
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming February 2025 143
Autor:
Bueso de Barrio, Luis Eduardo, Fredlund, Lars-Åke, Herranz, Ángel, Mariño, Julio, Benac Earle, Clara
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming January 2025 142
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Marpons-Ucero, Guillem, Mariño, Julio, Herranz, Ángel, Fredlund, Lars-Åke, Carro, Manuel, Moreno-Navarro, Juan José
Some approaches to increasing program reliability involve a disciplined use of programming languages so as to minimise the hazards introduced by error-prone features. This is realised by writing code that is constrained to a subset of the a priori ad
Externí odkaz:
http://arxiv.org/abs/0711.0344
In order to alleviate the inefficiencies caused by the interaction of the logic and functional sides, integrated languages may take advantage of \emph{demand} information -- i.e. knowing in advance which computations are needed and, to which extent,
Externí odkaz:
http://arxiv.org/abs/cs/0602008
Publikováno v:
Superintegrability in Classical and Quantum Systems. P. Tempesta et al (eds). CRM Proceedings & Lecture Notes, vol. 37, AMS (2004) 1-14
A constructive procedure to obtain superintegrable deformations of the classical Smorodinsky-Winternitz Hamiltonian by using quantum deformations of its underlying Poisson sl(2) coalgebra symmetry is introduced. Through this example, the general conn
Externí odkaz:
http://arxiv.org/abs/math-ph/0412067
Autor:
Ballesteros, Ignacio, Benac-Earle, Clara, de Barrio, Luis Eduardo Bueso, Fredlund, Lars-Åke, Herranz, Ángel, Mariño, Julio
Smart contracts on the Ethereum blockchain continue to suffer from well-published problems. A particular example is the well-known smart contract reentrancy vulnerability, which continues to be exploited. In this article, we present preliminary work
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::07da2d6695bec13e878ef693e232482b
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Logical and Algebraic Methods in Programming; 20240101, Issue: Preprints
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.