Showing
1 - 6
results of
6
for search '
Jianzhou Zhao
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Author
Jianzhou Zhao
Search Results
Showing
1 - 6
results of
6
for search '
Jianzhou Zhao
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
DRAFT—Do not distribute Dependent Types and Program Equivalence
Get access
Get access
Dependent Types and Program Equivalence
Get access
Get access
Dependent types and program equivalence
Get access
Get access
Dependent Types and Program Equivalence
Get access
Get access
CETS: Compiler-Enforced Temporal Safety for C
Get access
Get access
CETS: Compiler-Enforced Temporal Safety for C
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Related Subjects
Languages
C
Categories and Subject Descriptors D.3.1 [Programming Languages
Formal Definitions and Theory General Terms Keywords Design
Performance
Program equivalence
Theory Dependent types
dangling pointers
temporal errors
Reliability Memory safety
Reliability memory safety
Security
Loading...