Péter Bereczky

17 papers C 1Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
On a Dependently Typed Encoding of Matching Logic.
FROM
Ádám Kurucz, Péter Bereczky, Dániel Horpácsi
2024 J jnl
A Formalisation of Core Erlang, a Concurrent Actor Language.
Acta Cybern.
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2024 J jnl
Program Equivalence in the Erlang Actor Model.
Comput.
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2024 — conf
Unification in Matching Logic - Revisited.
FROM
Ádám Kurucz, Péter Bereczky, Dániel Horpácsi
2023 J jnl
A Formalisation of Core Erlang, a Concurrent Actor Language.
CoRR
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2023 J jnl
A Frame Stack Semantics for Sequential Core Erlang.
CoRR
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2023 — conf
A frame stack semantics for sequential Core Erlang.
IFL
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2023 C conf
Interactive Matching Logic Proofs in Coq.
ICTAC
Jan Tusil, Péter Bereczky, Dániel Horpácsi
2023 J jnl
Program equivalence in an untyped, call-by-value functional language with uncurried functions.
J. Log. Algebraic Methods Program.
Dániel Horpácsi, Péter Bereczky, Simon J. Thompson
2022 — conf
Mechanizing Matching Logic in Coq.
FROM
Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Tamás Bálint Mizsei, Lucas Peña, Jan Tusil
2022 J jnl
Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions.
CoRR
Dániel Horpácsi, Péter Bereczky, Simon J. Thompson
2020 J jnl
A Comparison of Big-step Semantics Definition Styles.
CoRR
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2020 J jnl
A Proof Assistant Based Formalisation of Core Erlang.
CoRR
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2020 — conf
A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang.
TFP
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2020 — conf
Machine-checked natural semantics for Core Erlang: exceptions and side effects.
Erlang Workshop
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2020 — conf
Validating Formal Semantics by Property-Based Cross-Testing.
IFL
Péter Bereczky, Dániel Horpácsi, Judit Köszegi, Soma Szeier, Simon J. Thompson
2019 — conf
Dynamic Testing of Executable UML Models with Sequence Diagrams.
SQAMIA
Tamás Jánosi, Krisztián Mózsi, Péter Bereczky, Dávid János Németh, Tibor Gregorics