Volgen
Péter Bereczky
Péter Bereczky
Geverifieerd e-mailadres voor inf.elte.hu
Titel
Geciteerd door
Geciteerd door
Jaar
A proof assistant based formalisation of a subset of sequential Core Erlang
P Bereczky, D Horpácsi, S Thompson
International Symposium on Trends in Functional Programming, 139-158, 2020
102020
Machine-checked natural semantics for Core Erlang: exceptions and side effects
P Bereczky, D Horpácsi, SJ Thompson
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, 1-13, 2020
92020
Validating formal semantics by property-based cross-testing
P Bereczky, D Horpácsi, J Kőszegi, S Szeier, S Thompson
Proceedings of the 32nd Symposium on Implementation and Application of …, 2020
62020
Mechanizing matching logic in coq
P Bereczky, X Chen, D Horpácsi, L Peńa, J Tušil
arXiv preprint arXiv:2201.05716, 2022
42022
Program equivalence in an untyped, call-by-value functional language with uncurried functions
D Horpácsi, P Bereczky, S Thompson
Journal of Logical and Algebraic Methods in Programming 132, 100857, 2023
32023
A comparison of big-step semantics definition styles
P Bereczky, D Horpácsi, S Thompson
arXiv preprint arXiv:2011.10373, 2020
32020
Interactive Matching Logic Proofs in Coq
J Tušil, P Bereczky, D Horpácsi
International Colloquium on Theoretical Aspects of Computing, 139-157, 2023
2023
A Formalisation of Core Erlang, a Concurrent Actor Language
P Bereczky, D Horpácsi, S Thompson
arXiv preprint arXiv:2311.10482, 2023
2023
A Frame Stack Semantics for Sequential Core Erlang
P Bereczky, D Horpácsi, S Thompson
arXiv preprint arXiv:2308.12403, 2023
2023
Deep Learning-Based Refactoring with Formally Verified Training Data
B Szalontai, P Bereczky, D Horpácsi
INFOCOMMUNICATIONS JOURNAL 15 (SI), 2-8, 2023
2023
Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions
D Horpácsi, P Bereczky, S Thompson
arXiv preprint arXiv:2208.14260, 2022
2022
A Proof Assistant Based Formalisation of Core Erlang
S Thompson
arXiv preprint arXiv:2005.11821, 2020
2020
Interactive Teaching of Programming Language Theory with a Proof Assistant
P Bereczky, I Donkó, D Horpácsi, A Kaposi, DJ Németh
Central-European Journal of New Technologies in Research, Education and …, 2020
2020
Dynamic Testing of Executable UML Models with Sequence Diagrams.
T Jánosi, K Mózsi, P Bereczky, DJ Németh, T Gregorics
SQAMIA, 2019
2019
Program Equivalence in Sequential Core Erlang
D Horpácsi, P Bereczky, S Thompson
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–15