University of Illinois at Urbana-Champaign

IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph

Loading…

Permalink

Description

Owning Collections