| 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 | 10 | 2020 |
| 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 | 10 | 2020 |
| 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 | 7 | 2020 |
| 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 | 4 | 2023 |
| Mechanizing matching logic in coq P Bereczky, X Chen, D Horpácsi, L Peña, J Tušil arXiv preprint arXiv:2201.05716, 2022 | 4 | 2022 |
| Deep Learning-Based Refactoring with Formally Verified Training Data B Szalontai, P Bereczky, D Horpácsi Infocommunications journal 15 (SI), 2-8, 2023 | 3 | 2023 |
| A comparison of big-step semantics definition styles P Bereczky, D Horpácsi, S Thompson arXiv preprint arXiv:2011.10373, 2020 | 3 | 2020 |
| A Formalisation of Core Erlang, a concurrent actor language P Bereczky, D Horpácsi, S Thompson arXiv preprint arXiv:2311.10482, 2023 | 1 | 2023 |
| 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 frame stack semantics for sequential Core Erlang P Bereczky, D Horpácsi, S Thompson The 35th Symposium on Implementation and Application of Functional Languages …, 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 | | |
Dániel HorpácsiEötvös Loránd University在 elte.hu 的电子邮件经过验证
Dániel HorpácsiEötvös Loránd University在 elte.hu 的电子邮件经过验证