Searching for authors named "Tom Schrijvers" – sorted by Relevance.
50 documents found, showing 1 through 10.
Next 10 →
-
Combining an improvement to PARMA trailing with analysis in HAL
- …Combining an improvement to PARMA trailing with analysis in HAL Tom Schrijvers Dept. of Computer…
- Cited by 2 (1 self) – Add To MetaCart
-
Abstract Interpretation for Constraint Handling Rules
- …Abstract Interpretation for Constraint Handling Rules ABSTRACT Tom Schrijvers ∗ Department…
- Cited by 15 (11 self) – Add To MetaCart
-
Improving Prolog Programs: Refactoring for Prolog
- …Improving Prolog Programs: Refactoring for Prolog Tom Schrijvers #1 and Alexander Serebrenik ##2…
- Cited by 3 (1 self) – Add To MetaCart
-
Combining an Improvement to PARMA Trailing with Trailing Analysis
- …Combining an Improvement to PARMA Trailing with Trailing Analysis Tom Schrijvers Department…
- Cited by 2 (1 self) – Add To MetaCart
-
An Efficient Term Representation for CHR Indexing
- …An Efficient Term Representation for CHR Indexing Beata Sarna-Starosta 1 and Tom Schrijvers ⋆2 1…
- Add To MetaCart
-
Transformation-based Indexing Techniques for Constraint Handling Rules
- …-Starosta and Tom Schrijvers ⋆ 1 Department of Computer Science and Engineering, Michigan State University, USA…
- Add To MetaCart
-
Unified Type Checking for Type Classes and Type Families
- …Unified Type Checking for Type Classes and Type Families Tom Schrijvers ∗ K.U.Leuven, Belgium tom…
- Add To MetaCart
-
Breaking the Complexity Barrier of Pure Functional Programs with Impure Data Structures
- … Wuille and Tom Schrijvers ⋆ Department of Computer Science, K.U.Leuven, Belgium FirstName.LastName @cs…
- Add To MetaCart
-
Chapter 2 Restoring Confluence for Functional Dependencies
- …Chapter 2 Restoring Confluence for Functional Dependencies Tom Schrijvers 1 , Martin Sulzmann 2…
- Add To MetaCart
-
Equational Reasoning for Prolog
- …Equational Reasoning for Prolog Tom Schrijvers ⋆ and Bart Demoen Department of Computer Science, K…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
