Pages that link to "Item:Q4327427"
From MaRDI portal
The following pages link to Type analysis of prolog using type graphs (Q4327427):
Displaying 11 items.
- Finite-tree analysis for constraint logic-based languages (Q817224) (← links)
- Widening and narrowing operators for abstract interpretation (Q2275526) (← links)
- Quantitative static analysis of communication protocols using abstract Markov chains (Q2322314) (← links)
- Compositional analysis for verification of parameterized systems (Q2368952) (← links)
- Type inference for mobile ambients in Prolog (Q2845519) (← links)
- (Q3819966) (← links)
- (Q4253872) (← links)
- Extending Constructive Logic Negation with Types (Q4982631) (← links)
- Analysis of the equality relations for the program terms (Q5030193) (← links)
- The applicability of logic program analysis and transformation to theorem proving (Q5210773) (← links)
- Improving precision of type analysis using non-discriminative union (Q5437649) (← links)