University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 8941–8970 of 25,625 items
Thumbnail for Definition and Open Texture
Definition and Open Texture
Zartman, James Francis

Thumbnail for Table of Contents
Table of Contents
Submitter: Howard Ding

Thumbnail for The Cross-Architecture Procedure Call
The Cross-Architecture Procedure Call
Essick, Raymond Brooke, IV

Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu