University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 91–120 of 198 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 Thread Contracts for Race-Freedom
Thread Contracts for Race-Freedom
Karmani, Rajesh Kumar; Madhusudan, P.; Moore, Brandon

Thumbnail for Cascade: A universal programmer-assisted type qualifier inference tool
Cascade: A universal programmer-assisted type qualifier inference tool
Vakilian, Mohsen; Phaosawasdi, Amarin; Ernst, Michael D.; Johnson, Ralph E.

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