Zobrazeno 1 - 10
of 1 363
pro vyhledávání: '"A, Bereczky"'
Publikováno v:
EPTCS 410, 2024, pp. 1-17
Matching logic is a logical framework for specifying and reasoning about programs using pattern matching semantics. A pattern is made up of a number of structural components and constraints. Structural components are syntactically matched, while cons
Externí odkaz:
http://arxiv.org/abs/2410.23760
In order to reason about the behaviour of programs described in a programming language, a mathematically rigorous definition of that language is needed. In this paper, we present a machine-checked formalisation of concurrent Core Erlang (a subset of
Externí odkaz:
http://arxiv.org/abs/2311.10482
We present a small-step, frame stack style, semantics for sequential Core Erlang, a dynamically typed, impure functional programming language. The semantics and the properties that we prove are machine-checked with the Coq proof assistant. We improve
Externí odkaz:
http://arxiv.org/abs/2308.12403
We aim to reason about the correctness of behaviour-preserving transformations of Erlang programs. Behaviour preservation is characterised by semantic equivalence. Based upon our existing formal semantics for Core Erlang, we investigate potential def
Externí odkaz:
http://arxiv.org/abs/2208.14260
Autor:
Lévai, Emese, Bereczky, Ákos
Publikováno v:
In International Journal of Hydrogen Energy 6 January 2025 97:950-958
Autor:
Kovac, Mirjana, Ignjatovic, Vera, Orlando, Christelle, Bereczky, Zsuzsanna, Hunt, Beverley J.
Publikováno v:
In Journal of Thrombosis and Haemostasis November 2024 22(11):3322-3329
Publikováno v:
EPTCS 369, 2022, pp. 17-36
Matching logic is a formalism for specifying, and reasoning about, mathematical structures, using patterns and pattern matching. Growing in popularity, it has been used to define many logical systems such as separation logic with recursive definition
Externí odkaz:
http://arxiv.org/abs/2201.05716
Publikováno v:
International Journal of General Medicine, Vol Volume 16, Pp 5425-5437 (2023)
Erzsebet Kovács,1 Zsuzsanna Bereczky,2 Adrienne Kerényi,3 Renáta Laczik,4 Valéria Nagy,5 Dávid Ágoston Kovács,6 Sándor Kovács,7 György Pfliegler1 1Centre of Rare Diseases, Department of Internal Medicine, University of Debrecen, Debrecen, H
Externí odkaz:
https://doaj.org/article/5f8a04d5ed7f4095ba3c4ba6d3d83c4a
Publikováno v:
Computers, Vol 13, Iss 11, p 276 (2024)
This paper presents the formal semantics of concurrency in Core Erlang, an intermediate language for Erlang, along with a notion of program equivalence (based on barbed bisimulation) that is able to model equivalence between programs that have differ
Externí odkaz:
https://doaj.org/article/1ca8e2d9f45b442da46f151e5320b692
Publikováno v:
Energies, Vol 17, Iss 15, p 3862 (2024)
Natural gas (NG) is favored for transportation due to its availability and lower CO2 emissions than fossil fuels, despite drawbacks like poor lean combustion ability and slow burning. According to a few recent studies, using hydrogen (H2) alongside N
Externí odkaz:
https://doaj.org/article/b321964f5d824572ae617751f3962c42