Export Citations
1 Results for: Author: Obdržálek, Jan
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,829,156 records)|Limit your search to The ACM Full-Text Collection (772,637 records)
Showing 1 - 1of1 Results
Select All
- ArticleNovember 2024
Minuska: Towards a Formally Verified Programming Language Framework
Software Engineering and Formal MethodsPages 200–214https://doi.org/10.1007/978-3-031-77382-2_12AbstractProgramming language frameworks allow us to generate language tools (e.g., interpreters) just from a formal description of the syntax and semantics of a programming language. As these frameworks tend to be quite complex, an issue arises whether we ...