Péter Bereczky

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 14

Top Topics

Formal Semantics

Functional Language

Intelligent Assistant

Top Venues

J. Log. Algebraic Methods Program.

Publications

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
A Formalisation of Core Erlang, a Concurrent Actor Language. Acta Cybern. 26 (3) (2024)
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
A Formalisation of Core Erlang, a Concurrent Actor Language. CoRR (2023)
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
A frame stack semantics for sequential Core Erlang. IFL (2023)
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
A Frame Stack Semantics for Sequential Core Erlang. CoRR (2023)
Dániel Horpácsi, Péter Bereczky, Simon J. Thompson
Program equivalence in an untyped, call-by-value functional language with uncurried functions. J. Log. Algebraic Methods Program. 132 (2023)
Jan Tusil, Péter Bereczky, Dániel Horpácsi
Interactive Matching Logic Proofs in Coq. ICTAC (2023)
Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Tamás Bálint Mizsei, Lucas Peña, Jan Tusil
Mechanizing Matching Logic in Coq. CoRR (2022)
Dániel Horpácsi, Péter Bereczky, Simon Thompson
Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions. CoRR (2022)
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
Machine-checked natural semantics for Core Erlang: exceptions and side effects. Erlang Workshop (2020)
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang. TFP (2020)
Péter Bereczky, Dániel Horpácsi, Judit Köszegi, Soma Szeier, Simon Thompson
Validating Formal Semantics by Property-Based Cross-Testing. IFL (2020)
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
A Comparison of Big-step Semantics Definition Styles. CoRR (2020)
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
A Proof Assistant Based Formalisation of Core Erlang. CoRR (2020)
Tamás Jánosi, Krisztián Mózsi, Péter Bereczky, Dávid János Németh, Tibor Gregorics
Dynamic Testing of Executable UML Models with Sequence Diagrams. SQAMIA (2019)