University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–15 of 15 items
Thumbnail for K-Java: Runtime Semantics for Method Invocation and Object Instantiation
K-Java: Runtime Semantics for Method Invocation and Object Instantiation
Bogdanas, Denis

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 IsaK: A Complete Semantics of K
IsaK: A Complete Semantics of K
Li, Liyi; Gunter, Elsa L.

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 Open Problems and Challenges 2016
Open Problems and Challenges 2016
Rosu, Grigore

Thumbnail for An Interactive Theorem Prover for Matching Logic with Proof Object Generation
An Interactive Theorem Prover for Matching Logic with Proof Object Generation
Lin, Zhengyao; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Guarded Matching Logic is Decidable
Guarded Matching Logic is Decidable
Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for A static semantics for labels in OCaml
A static semantics for labels in OCaml
Bay, Michael

Thumbnail for Bulletin of the Center for Children's Books 48 (03) 1994
Bulletin of the Center for Children's Books 48 (03) 1994
Submitter: William Ingram

Thumbnail for LTL Model Checking in Matching Logic
LTL Model Checking in Matching Logic
Tusil, Jan; Chen, Xiaohong

Thumbnail for Practical least privilege for cross-origin interactions on mobile operating systems
Practical least privilege for cross-origin interactions on mobile operating systems
Tuncay, Güliz Seray

Thumbnail for Open Problems and Challenges 2017
Open Problems and Challenges 2017
Roşu, Grigore

Thumbnail for Hyperproperties in Matching Logic
Hyperproperties in Matching Logic
Tusil, Jan; Chen, Xiaohong; Rosu, Grigore

Thumbnail for N. V. Gogol' and the Baroque (Russia)
N. V. Gogol' and the Baroque (Russia)
Shapiro, Gavriel

Thumbnail for Analyzing & designing the security of shared resources on smartphone operating systems
Analyzing & designing the security of shared resources on smartphone operating systems
Demetriou, Soteris