Similar Items: Type Region Model and Its Application in Program Static Detection
- Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs
- Integrating Voltage Stability Into the Static Security Region: A Unified Analytical Framework
- Static Type Checking for Database Access Code
- Linear Dependent Type Theory for Quantum Programming Languages
- Order-Invariant Types and Their Applications
- A Static Analysis Framework for Livelock Freedom in CSP