Péter Bereczky

According to our database, Péter Bereczky authored at least 12 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Program equivalence in an untyped, call-by-value functional language with uncurried functions.

Dániel Horpácsi, Péter Bereczky, Simon J. Thompson

J. Log. Algebraic Methods Program., April, 2023

A Formalisation of Core Erlang, a Concurrent Actor Language.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

CoRR, 2023

A Frame Stack Semantics for Sequential Core Erlang.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

CoRR, 2023

Interactive Matching Logic Proofs in Coq.

Jan Tusil, Péter Bereczky, Dániel Horpácsi

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions.

Dániel Horpácsi, Péter Bereczky, Simon J. Thompson

CoRR, 2022

Mechanizing Matching Logic in Coq.

Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Tamás Bálint Mizsei, Lucas Peña, Jan Tusil

Proceedings of the Sixth Working Formal Methods Symposium, 2022

2020

A Comparison of Big-step Semantics Definition Styles.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

CoRR, 2020

A Proof Assistant Based Formalisation of Core Erlang.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

CoRR, 2020

A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

Validating Formal Semantics by Property-Based Cross-Testing.

Péter Bereczky, Dániel Horpácsi, Judit Köszegi, Soma Szeier, Simon J. Thompson

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

Machine-checked natural semantics for Core Erlang: exceptions and side effects.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, 2020

2019

Dynamic Testing of Executable UML Models with Sequence Diagrams.

Tamás Jánosi, Krisztián Mózsi, Péter Bereczky, Dávid János Németh, Tibor Gregorics

Proceedings of the Eighth Workshop on Software Quality Analysis, 2019