Article Details

#239 Grigore Rosu: The K framework – a framework to formally define all programming languages

Retrieved on: 2018-06-12 05:11:15

Tags for this article:

Click the tags to see associated articles and topics

#239 Grigore Rosu: The K framework – a framework to formally define all programming languages. View article details on hiswai:

Excerpt

<div>In the past few years, we witnessed the development of multiple <b>smart contract</b> languages – Solidity, Viper, Michelson, Scilla etc. These languages ...</div>

Article found on:

View Original Article

This article is found inside other hiswai user's workspaces. To start your own collection, sign up for free.

Sign Up
Book a Demo