KHoon: A Formal Semantics of Hoon in the K Framework
| dc.contributor.author | Ahl, Anton | |
| dc.contributor.department | Chalmers tekniska högskola / Institutionen för data och informationsteknik | sv |
| dc.contributor.department | Chalmers University of Technology / Department of Computer Science and Engineering | en |
| dc.contributor.examiner | Adams, Robin | |
| dc.contributor.supervisor | Myreen, Magnus | |
| dc.date.accessioned | 2023-06-21T11:03:43Z | |
| dc.date.available | 2023-06-21T11:03:43Z | |
| dc.date.issued | 2023 | |
| dc.date.submitted | 2023 | |
| dc.description.abstract | Hoon, a programming language with several unusual properties, which is intended for use as a smart contract language, currently lacks a formal semantics, and this poses challenges in terms of verification. This project aims to overcome this issue by providing a formal semantics for Hoon using the K framework. The resulting specification covers approximately a quarter of the language’s features and is accompanied by a test suite consisting of 131 tests to validate the specified features. Furthermore, this paper presents various claims about the Hoon specification that can be proven using the theorem prover in the K framework. Nonetheless, further work is needed to complete the specification and enable its potential future applications. | |
| dc.identifier.uri | http://hdl.handle.net/20.500.12380/306355 | |
| dc.setspec.uppsok | Technology | |
| dc.subject | Formal semantics | |
| dc.subject | Hoon, | |
| dc.subject | K framework | |
| dc.subject | programming languages | |
| dc.title | KHoon: A Formal Semantics of Hoon in the K Framework | |
| dc.type.degree | Examensarbete för masterexamen | sv |
| dc.type.degree | Master's Thesis | en |
| dc.type.uppsok | H | |
| local.programme | Computer science – algorithms, languages and logic (MPALG), MSc |