Grigore Rosu: The K Framework – A Framework to Formally Define All Programming Languages
Epicenter - Learn about Crypto, Blockchain, Ethereum, Bitcoin and Distributed Technologies - En podcast af Epicenter Media Ltd. - Mandage
We are joined by Grigore Rosu, Prof. of computer science at UIUC [University of Illinois at Urbana-Champaign] for a deep dive into the K framework. The K framework is mathematic logic and language that enables language developers to formally define all programming languages; such as C, Solidity and JavaScript. This technology has massive implications for smart contract programming language development, and formal verification efforts in the blockchain space.
