Pages that link to "Item:Q1426866"
From MaRDI portal
The following pages link to Path dependent analysis of logic programs (Q1426866):
Displaying 4 items.
- Semantics-based program analysis for logic-based languages using XSB (Q1856181) (← links)
- Formal semantics for program paths (Q2843912) (← links)
- Paths vs. trees in set-based program analysis (Q5178862) (← links)
- Improving precision of type analysis using non-discriminative union (Q5437649) (← links)