The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tom Schrijvers: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Tom Schrijvers
    JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:475-476 [Conf]
  4. Tom Schrijvers
    Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:435-436 [Conf]
  5. Tom Schrijvers, Alexander Serebrenik
    Improving Prolog Programs: Refactoring for Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:58-72 [Conf]
  6. Tom Schrijvers, David Scott Warren
    Constraint Handling Rules and Tabled Execution. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:120-136 [Conf]
  7. 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]
  8. Jon Sneyers, Tom Schrijvers, Bart Demoen
    Memory Reuse for CHR. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:72-86 [Conf]
  9. Tom Schrijvers, Maurice Bruynooghe
    Polymorphic algebraic data type reconstruction. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:85-96 [Conf]
  10. Tom Schrijvers, Bart Demoen
    Combining an improvement to PARMA trailing with trailing analysis. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:88-98 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. Jon Sneyers, Tom Schrijvers, Bart Demoen
    Guard Simplification in CHR programs. [Citation Graph (0, 0)][DBLP]
    W(C)LP, 2005, pp:123-134 [Conf]
  15. 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]
  16. Tom Schrijvers, Alexander Serebrenik
    Improving Prolog Programs: Refactoring for Prolog [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. Leslie De Koninck, Tom Schrijvers, Bart Demoen
    User-definable rule priorities for CHR. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:25-36 [Conf]
  23. Alexander Serebrenik, Tom Schrijvers, Bart Demoen
    Improving Prolog programs: Refactoring for Prolog [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  24. Tom Schrijvers, Thom Fruehwirth
    Optimal Union-Find in Constraint Handling Rules [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]

  25. EffectiveAdvice: disciplined advice with explicit effects. [Citation Graph (, )][DBLP]


  26. Haskell Type Constraints Unleashed. [Citation Graph (, )][DBLP]


  27. Type checking with open type functions. [Citation Graph (, )][DBLP]


  28. Complete and decidable type inference for GADTs. [Citation Graph (, )][DBLP]


  29. Transactions in Constraint Handling Rules. [Citation Graph (, )][DBLP]


  30. Towards Typed Prolog. [Citation Graph (, )][DBLP]


  31. Uniting the Prolog Community. [Citation Graph (, )][DBLP]


  32. Constraint Handling Rules. [Citation Graph (, )][DBLP]


  33. Attributed Data for CHR Indexing. [Citation Graph (, )][DBLP]


  34. From Monomorphic to Polymorphic Well-Typings and Beyond. [Citation Graph (, )][DBLP]


  35. Automatic Generation of Test Inputs for Mercury. [Citation Graph (, )][DBLP]


  36. Towards a Framework for Constraint-Based Test Case Generation. [Citation Graph (, )][DBLP]


  37. A Transformational Approach for Proving Properties of the CHR Constraint Store. [Citation Graph (, )][DBLP]


  38. Strictness Meets Data Flow. [Citation Graph (, )][DBLP]


  39. Let should not be generalized. [Citation Graph (, )][DBLP]


  40. Type invariants for Haskell. [Citation Graph (, )][DBLP]


  41. Improving PARMA Trailing [Citation Graph (, )][DBLP]


  42. TCHR: a framework for tabled CLP [Citation Graph (, )][DBLP]


  43. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002