University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 100 items
Thumbnail for IsaK: A Complete Semantics of K
IsaK: A Complete Semantics of K
Li, Liyi; Gunter, Elsa L.

Thumbnail for Strategy Logic extended with Refinement, CGS, and Nondeterminism
Strategy Logic extended with Refinement, CGS, and Nondeterminism
Griffith, Dennis; Gunter, Elsa L.

Thumbnail for Circular Reasoner: a Package in Mathematica for the Execution of Certain Otherwise Non-terminating Functional Programs
Circular Reasoner: a Package in Mathematica for the Execution of Certain Otherwise Non-terminating Functional Programs
Osborn, Christopher Jon

Thumbnail for Incremental pattern-based coinduction for process algebra and its Isabelle formalization
Incremental pattern-based coinduction for process algebra and its Isabelle formalization
Popescu, Andrei; Gunter, Elsa L.

Thumbnail for Symbolic Semantics for CSP
Symbolic Semantics for CSP
Li, Liyi; Gunter, Elsa L.; Mansky, William

Thumbnail for Role-Based Access Control in a Mobile Environment
Role-Based Access Control in a Mobile Environment
Compagnoni, Adriana; Gunter, Elsa L.; Bidinger, Philippe

Thumbnail for Strong normalization for System F by HOAS on top of FOAS
Strong normalization for System F by HOAS on top of FOAS
Popescu, Andrei; Gunter, Elsa L.; Osborn, Christopher J.

The Isabelle formalization of a general theory of syntax with bindings
Popescu, Andrei

The Isabelle formalization of an incremental coniductive proof system
Popescu, Andrei

The Isabelle formalization of a general theory of syntax with bindings, with lambda-calculus case studies included
Popescu, Andrei

Thumbnail for The PTRANS Specification Language
The PTRANS Specification Language
Mansky, William

HOAS on top of FOAS formalized in Isabelle/HOL
Popescu, Andrei

Thumbnail for A verification framework suitable for proving large language translations
A verification framework suitable for proving large language translations
Li, Liyi

Thumbnail for Circular Reasoner: A package in Mathematica for the execution of certain otherwise non-terminating functional programs
Circular Reasoner: A package in Mathematica for the execution of certain otherwise non-terminating functional programs
Osborn, Christopher J.

Thumbnail for Polarized substructural session types
Polarized substructural session types
Griffith, Dennis Edward

Thumbnail for Contributions to the theory of syntax with bindings and to process algebra
Contributions to the theory of syntax with bindings and to process algebra
Popescu, Andrei

Thumbnail for Formalizing operator task analysis
Formalizing operator task analysis
Yasmeen, Ayesha

Thumbnail for Identifying similar code fragments in Haskell
Identifying similar code fragments in Haskell
Vardishvili, Mariam

Thumbnail for Verified collection-based regression test selection via an extended Jinja semantics
Verified collection-based regression test selection via an extended Jinja semantics
Mansky, Susannah Elizabeth

Thumbnail for Efficacy of frequent, secure, automated testing on student academic performance
Efficacy of frequent, secure, automated testing on student academic performance
Nip, Terence

Thumbnail for Symbolic semantics for CSP
Symbolic semantics for CSP
Li, Liyi

Thumbnail for Specifying and verifying program transformations with PTRANS
Specifying and verifying program transformations with PTRANS
Mansky, William

Thumbnail for Actor programming with static guarantees
Actor programming with static guarantees
Charalambides, Minas

Thumbnail for Coinductive program verification
Coinductive program verification
Moore, Brandon Michael

Thumbnail for Translation validation for compilation verification
Translation validation for compilation verification
Kasampalis, Theodoros

Thumbnail for Types for mutual exclusion in concurrent programming languages
Types for mutual exclusion in concurrent programming languages
Lee, John J • 2023

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

Thumbnail for space Real-Time and Embedded Systems Building Blocks for Cyber-Physical Systems
space Real-Time and Embedded Systems Building Blocks for Cyber-Physical Systems
Wang, Qixin

Thumbnail for Real-Time and Embedded Systems Building Blocks for Cyber-Physical Systems
Real-Time and Embedded Systems Building Blocks for Cyber-Physical Systems
Wang, Qixin

Thumbnail for Real-Time and Embedded Systems Building Blocks for Cyber-Physical Systems
Real-Time and Embedded Systems Building Blocks for Cyber-Physical Systems
Wang, Qixin