University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–5 of 5 items
Thumbnail for IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
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

Thumbnail for IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
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

Thumbnail for IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain
Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian Florin; Zhang, Yi; Filaretti, Daniele; Serbanuta, Virgil; Johnson, Ralph; Roşu, Grigore

Thumbnail for Graduate School of Library and Information Science ... annual report. 2007
Graduate School of Library and Information Science ... annual report. 2007
Graduate School of Library and Information Science. University of Illinois at Urbana-Champaign.

Thumbnail for A rewriting approach to concurrent programming language design and semantics
A rewriting approach to concurrent programming language design and semantics
Serbanuta, Traian Florin