The K Framework – A Framework To Formally Define All Programming Languages

6/20/2018

Epicenter podcast -- CS Professor Grigore Rosu talks about the K framework, as well as his work to create a new virtual machine called IELE specifically tailored to blockchain.

Written by

Epicenter podcast -- CS Professor Grigore Rosu talks about the K framework, as well as his work to create a new virtual machine called IELE specifically tailored to blockchain. 


Share this story

This story was published June 20, 2018.