|
Search the dblp DataBase
Tom Schrijvers:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey
Principal Type Inference for GHC-Style Multi-parameter Type Classes. [Citation Graph (0, 0)][DBLP] APLAS, 2006, pp:26-43 [Conf]
- Tom Schrijvers, Maria J. García de la Banda, Bart Demoen
Trailing Analysis for HAL. [Citation Graph (0, 0)][DBLP] ICLP, 2002, pp:38-53 [Conf]
- Tom Schrijvers
JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. [Citation Graph (0, 0)][DBLP] ICLP, 2004, pp:475-476 [Conf]
- Tom Schrijvers
Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary. [Citation Graph (0, 0)][DBLP] ICLP, 2005, pp:435-436 [Conf]
- Tom Schrijvers, Alexander Serebrenik
Improving Prolog Programs: Refactoring for Prolog. [Citation Graph (0, 0)][DBLP] ICLP, 2004, pp:58-72 [Conf]
- Tom Schrijvers, David Scott Warren
Constraint Handling Rules and Tabled Execution. [Citation Graph (0, 0)][DBLP] ICLP, 2004, pp:120-136 [Conf]
- Jon Sneyers, Tom Schrijvers, Bart Demoen
Guard and Continuation Optimization for Occurrence Representations of CHR. [Citation Graph (0, 0)][DBLP] ICLP, 2005, pp:83-97 [Conf]
- Jon Sneyers, Tom Schrijvers, Bart Demoen
Memory Reuse for CHR. [Citation Graph (0, 0)][DBLP] ICLP, 2006, pp:72-86 [Conf]
- Tom Schrijvers, Maurice Bruynooghe
Polymorphic algebraic data type reconstruction. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:85-96 [Conf]
- Tom Schrijvers, Bart Demoen
Combining an improvement to PARMA trailing with trailing analysis. [Citation Graph (0, 0)][DBLP] PPDP, 2002, pp:88-98 [Conf]
- Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck
Abstract interpretation for constraint handling rules. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:218-229 [Conf]
- Leslie De Koninck, Tom Schrijvers, Bart Demoen
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. [Citation Graph (0, 0)][DBLP] WLP, 2006, pp:91-100 [Conf]
- Tom Schrijvers, Thom W. Frühwirth
Analysing the CHR Implementation of Union-Find. [Citation Graph (0, 0)][DBLP] W(C)LP, 2005, pp:135-146 [Conf]
- Jon Sneyers, Tom Schrijvers, Bart Demoen
Guard Simplification in CHR programs. [Citation Graph (0, 0)][DBLP] W(C)LP, 2005, pp:123-134 [Conf]
- Jon Sneyers, Tom Schrijvers, Bart Demoen
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. [Citation Graph (0, 0)][DBLP] WLP, 2006, pp:182-191 [Conf]
- Tom Schrijvers, Alexander Serebrenik
Improving Prolog Programs: Refactoring for Prolog [Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal]
- Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth
Automatic Implication Checking for CHR Constraints. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:93-111 [Journal]
- Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey
Improving PARMA trailing. [Citation Graph (0, 0)][DBLP] TPLP, 2006, v:6, n:6, pp:609-644 [Journal]
- Tom Schrijvers, Thom W. Frühwirth
Optimal union-find in Constraint Handling Rules. [Citation Graph (0, 0)][DBLP] TPLP, 2006, v:6, n:1-2, pp:213-224 [Journal]
- Leslie De Koninck, Tom Schrijvers, Bart Demoen
The Correspondence Between the Logical Algorithms Language and CHR. [Citation Graph (0, 0)][DBLP] ICLP, 2007, pp:209-223 [Conf]
- Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen
Aggregates in Constraint Handling Rules. [Citation Graph (0, 0)][DBLP] ICLP, 2007, pp:446-448 [Conf]
- Leslie De Koninck, Tom Schrijvers, Bart Demoen
User-definable rule priorities for CHR. [Citation Graph (0, 0)][DBLP] PPDP, 2007, pp:25-36 [Conf]
- Alexander Serebrenik, Tom Schrijvers, Bart Demoen
Improving Prolog programs: Refactoring for Prolog [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
- Tom Schrijvers, Thom Fruehwirth
Optimal Union-Find in Constraint Handling Rules [Citation Graph (0, 0)][DBLP] CoRR, 2005, v:0, n:, pp:- [Journal]
EffectiveAdvice: disciplined advice with explicit effects. [Citation Graph (, )][DBLP]
Haskell Type Constraints Unleashed. [Citation Graph (, )][DBLP]
Type checking with open type functions. [Citation Graph (, )][DBLP]
Complete and decidable type inference for GADTs. [Citation Graph (, )][DBLP]
Transactions in Constraint Handling Rules. [Citation Graph (, )][DBLP]
Towards Typed Prolog. [Citation Graph (, )][DBLP]
Uniting the Prolog Community. [Citation Graph (, )][DBLP]
Constraint Handling Rules. [Citation Graph (, )][DBLP]
Attributed Data for CHR Indexing. [Citation Graph (, )][DBLP]
From Monomorphic to Polymorphic Well-Typings and Beyond. [Citation Graph (, )][DBLP]
Automatic Generation of Test Inputs for Mercury. [Citation Graph (, )][DBLP]
Towards a Framework for Constraint-Based Test Case Generation. [Citation Graph (, )][DBLP]
A Transformational Approach for Proving Properties of the CHR Constraint Store. [Citation Graph (, )][DBLP]
Strictness Meets Data Flow. [Citation Graph (, )][DBLP]
Let should not be generalized. [Citation Graph (, )][DBLP]
Type invariants for Haskell. [Citation Graph (, )][DBLP]
Improving PARMA Trailing [Citation Graph (, )][DBLP]
TCHR: a framework for tabled CLP [Citation Graph (, )][DBLP]
As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007 [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.283secs
|