Searching for authors named "Stefaan Decorte" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Exploiting the Power of Typed Norms in Automatic Inference of Interargument Relations
- …Exploiting the Power of Typed Norms in Automatic Inference of Interargument Relations Stefaan…
- Cited by 8 (2 self) – Add To MetaCart
-
Constraint-based Termination Analysis of Logic Programs
- …Constraint-based Termination Analysis of Logic Programs Stefaan Decorte , Danny De Schreye…
- Cited by 24 (9 self) – Add To MetaCart
-
Integrating Types in Abstract Interpretation Based Automatic Termination Analysis of Logic Programs
- … Programs Stefaan Decorte\Lambda Danny De Schreye\Lambda Massimo Fabrisy Abstract Types are receiving…
- Add To MetaCart
-
Termination Analysis for Tabled Logic Programming
- …Termination Analysis for Tabled Logic Programming Stefaan Decorte, Danny De Schreye, Michael…
- Cited by 16 (9 self) – Add To MetaCart
Showing 1 through 4.
