The following pages link to Static Analysis (Q5897427):
Displaying 6 items.
- Semantic query optimization in the presence of types (Q389237) (← links)
- Type-based homeomorphic embedding for online termination (Q989516) (← links)
- A polymorphic type dependency analysis for logic programs (Q1758668) (← links)
- Non-termination Analysis of Logic Programs Using Types (Q3003491) (← links)
- From Monomorphic to Polymorphic Well-Typings and Beyond (Q3617436) (← links)
- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation (Q5504591) (← links)
