Pages that link to "Item:Q5712549"
From MaRDI portal
The following pages link to Program Development in Computational Logic (Q5712549):
Displaying 7 items.
- Context-sensitive analysis without calling-context (Q656869) (← links)
- Abstraction-carrying code: a model for mobile code safety (Q949170) (← links)
- Context generation from formal specifications for C analysis tools (Q1671145) (← links)
- A set-based context model for program analysis (Q2038063) (← links)
- (Q3216111) (← links)
- Incremental and Modular Context-sensitive Analysis (Q4957220) (← links)
- Context-Sensitive Multivariant Assertion Checking in Modular Programs (Q5387906) (← links)