The following pages link to (Q4414732):
Displayed 15 items.
- Proof optimization for partial redundancy elimination (Q843219) (← links)
- A framework for security analysis of mobile wireless networks (Q860908) (← links)
- Pathway analysis for BioAmbients (Q953532) (← links)
- Program and proof optimizations with type systems (Q953533) (← links)
- Hybrid logical analyses of the ambient calculus (Q964494) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Dead code elimination based pointer analysis for multithreaded programs (Q1939745) (← links)
- Recognition of logically related regions based heap abstraction (Q1942939) (← links)
- Static analysis of topology-dependent broadcast networks (Q2266988) (← links)
- A control flow analysis for Beta-binders with and without static compartments (Q2271446) (← links)
- Heuristics for Safety and Security Constraints (Q2864162) (← links)
- A Static Analysis for Beta-Binders (Q2870298) (← links)
- Relational Analysis of Correlation (Q3522059) (← links)
- Control Flow Analysis of Generalised Boolean Networks (Q5404092) (← links)
- Control-flow analysis of function calls and returns by abstract interpretation (Q5891553) (← links)