Want to create an interactive transcript for this episode?
Podcast: Epicenter - Learn about Crypto, Blockchain, Ethereum, Bitcoin and Distributed Technologies
Episode: Grigore Rosu: The K Framework – A Framework to Formally Define All Programming Languages
Description: In the past few years, we witnessed the development of multiple smart contract languages – Solidity, Viper, Michelson, Scilla etc. These languages need to enable developers to write correct, predictable behavior smart contract code. Each language development effort therefore ends up spending resources into building formal verification toolsets, compilers, debuggers and other developer tools.
In this episode, we are joined by Grigore Rosu, Professor 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 pr...