Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
spatial safety
biblio
Checked C: Making C Safe by Extension
Submitted by
grigby1
on Thu, 09/26/2019 - 10:24am
backward-compatibility
Benchmark testing
bounds-safe interfaces
C safe
C++ language
checked C's design
checked pointer
checked region
collaboration
Computer bugs
Cyclones
developer control
highly performant code
Human behavior
Human Factors
incremental conversion
Metrics
performance evaluation
policy-based governance
program debugging
programming languages
pubcrawl
resilience
Resiliency
Safe Coding
Safety
security
spatial safety
static analysis
storage management
tools
