Tom Schrijvers

2009
36	EE	Jon Sneyers, Tom Schrijvers, Bart Demoen: The computational power and complexity of constraint handling rules. ACM Trans. Program. Lang. Syst. 31(2): (2009)
2008
35	EE	Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann: Type checking with open type functions. ICFP 2008: 51-62
34	EE	Tom Schrijvers, Martin Sulzmann: Transactions in Constraint Handling Rules. ICLP 2008: 516-530
33	EE	Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen: Towards Typed Prolog. ICLP 2008: 693-697
32	EE	Tom Schrijvers, Bart Demoen: Uniting the Prolog Community. ICLP 2008: 7-8
31	EE	Tom Schrijvers: Constraint Handling Rules. ICLP 2008: 9-10
30	EE	Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher: From Monomorphic to Polymorphic Well-Typings and Beyond. LOPSTR 2008: 152-167
29	EE	François Degrave, Tom Schrijvers, Wim Vanhoof: Automatic Generation of Test Inputs for Mercury. LOPSTR 2008: 71-86
28	EE	Alexander Serebrenik, Tom Schrijvers, Bart Demoen: Improving Prolog programs: Refactoring for Prolog. TPLP 8(2): 201-215 (2008)
27	EE	Tom Schrijvers, Bart Demoen, David Scott Warren: TCHR: a framework for tabled CLP. TPLP 8(4): 491-526 (2008)
2007
26	EE	Leslie De Koninck, Tom Schrijvers, Bart Demoen: The Correspondence Between the Logical Algorithms Language and CHR. ICLP 2007: 209-223
25	EE	Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen: Aggregates in Constraint Handling Rules. ICLP 2007: 446-448
24	EE	Leslie De Koninck, Tom Schrijvers, Bart Demoen: User-definable rule priorities for CHR. PPDP 2007: 25-36
23	EE	Tom Schrijvers, Bart Demoen, David Scott Warren: TCHR: a framework for tabled CLP CoRR abs/0712.3830: (2007)
22	EE	Alexander Serebrenik, Tom Schrijvers, Bart Demoen: Improving Prolog programs: Refactoring for Prolog CoRR abs/cs/0702083: (2007)
2006
21	EE	Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey: Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS 2006: 26-43
20	EE	Jon Sneyers, Tom Schrijvers, Bart Demoen: Memory Reuse for CHR. ICLP 2006: 72-86
19	EE	Tom Schrijvers, Maurice Bruynooghe: Polymorphic algebraic data type reconstruction. PPDP 2006: 85-96
18	EE	Jon Sneyers, Tom Schrijvers, Bart Demoen: Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. WLP 2006: 182-191
17	EE	Leslie De Koninck, Tom Schrijvers, Bart Demoen: INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. WLP 2006: 91-100
16	EE	Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth: Automatic Implication Checking for CHR Constraints. Electr. Notes Theor. Comput. Sci. 147(1): 93-111 (2006)
15	EE	Tom Schrijvers, Thom W. Frühwirth: Optimal union-find in Constraint Handling Rules. TPLP 6(1-2): 213-224 (2006)
14	EE	Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey: Improving PARMA trailing. TPLP 6(6): 609-644 (2006)
2005
13	EE	Tom Schrijvers: Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary. ICLP 2005: 435-436
12	EE	Jon Sneyers, Tom Schrijvers, Bart Demoen: Guard and Continuation Optimization for Occurrence Representations of CHR. ICLP 2005: 83-97
11	EE	Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck: Abstract interpretation for constraint handling rules. PPDP 2005: 218-229
10		Jon Sneyers, Tom Schrijvers, Bart Demoen: Guard Simplification in CHR programs. W(C)LP 2005: 123-134
9		Tom Schrijvers, Thom W. Frühwirth: Analysing the CHR Implementation of Union-Find. W(C)LP 2005: 135-146
8	EE	Tom Schrijvers, Thom W. Frühwirth: Optimal Union-Find in Constraint Handling Rules CoRR abs/cs/0501073: (2005)
7	EE	Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey: Improving PARMA Trailing CoRR abs/cs/0505085: (2005)
2004
6	EE	Tom Schrijvers, David Scott Warren: Constraint Handling Rules and Tabled Execution. ICLP 2004: 120-136
5	EE	Tom Schrijvers: JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. ICLP 2004: 475-476
4	EE	Tom Schrijvers, Alexander Serebrenik: Improving Prolog Programs: Refactoring for Prolog. ICLP 2004: 58-72
3	EE	Tom Schrijvers, Alexander Serebrenik: Improving Prolog Programs: Refactoring for Prolog CoRR cs.SE/0406026: (2004)
2002
2	EE	Tom Schrijvers, Maria J. García de la Banda, Bart Demoen: Trailing Analysis for HAL. ICLP 2002: 38-53
1	EE	Tom Schrijvers, Bart Demoen: Combining an improvement to PARMA trailing with trailing analysis. PPDP 2002: 88-98

Coauthor Index

1	Maria Garcia de la Banda (Maria J. García de la Banda)	[2] [7] [14]
2	Maurice Bruynooghe	[19] [30]
3	Manuel M. T. Chakravarty	[35]
4	Vítor Santos Costa	[33]
5	François Degrave	[29]
6	Bart Demoen	[1] [2] [7] [10] [12] [14] [16] [17] [18] [20] [22] [23] [24] [25] [26] [27] [28] [32] [33] [36]
7	Gregory J. Duck	[11] [16]
8	Thom W. Frühwirth	[8] [9] [15] [16]
9	John P. Gallagher	[30]
10	Simon L. Peyton Jones	[35]
11	Leslie De Koninck	[17] [24] [26]
12	Alexander Serebrenik	[3] [4] [22] [28]
13	Jon Sneyers	[10] [12] [18] [20] [25] [36]
14	Peter J. Stuckey	[7] [11] [14] [16] [21]
15	Martin Sulzmann	[21] [34] [35]
16	Wim Vanhoof	[29]
17	David Scott Warren	[6] [23] [27]
18	Peter Van Weert	[25]
19	Jan Wielemaker	[33]