Inside Bitcoins (June 12) -- On the podcast, Grigore Rosu, professor of computer science at UIUC [University of Illinois at Urbana-Champaign] takes 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.