The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Olaf Chitil: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace
    Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 2002, pp:59-99 [Conf]
  2. Olaf Chitil
    Compositional Explanation of Types and Algorithmic Debugging of Type Errors. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:193-204 [Conf]
  3. Olaf Chitil
    Type Inference Builds a Short Cut to Deforestation. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:249-260 [Conf]
  4. Olaf Chitil
    Source-Based Trace Exploration. [Citation Graph (0, 0)][DBLP]
    IFL, 2004, pp:126-141 [Conf]
  5. Olaf Chitil
    Common Subexpressions Are Uncommon in Lazy Functional Languages. [Citation Graph (0, 0)][DBLP]
    Implementation of Functional Languages, 1997, pp:53-71 [Conf]
  6. Olaf Chitil
    Type-Inference Based Short Cut Deforestation (Nearly) without Inlining. [Citation Graph (0, 0)][DBLP]
    IFL, 1999, pp:19-35 [Conf]
  7. Olaf Chitil, Dan McNeill, Colin Runciman
    Lazy Assertions. [Citation Graph (0, 0)][DBLP]
    IFL, 2003, pp:1-19 [Conf]
  8. Olaf Chitil, Colin Runciman, Malcolm Wallace
    Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:176-193 [Conf]
  9. Olaf Chitil, Colin Runciman, Malcolm Wallace
    Transforming Haskell for Tracing. [Citation Graph (0, 0)][DBLP]
    IFL, 2002, pp:165-181 [Conf]
  10. Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch
    Observing Functional Logic Computations. [Citation Graph (0, 0)][DBLP]
    PADL, 2004, pp:193-208 [Conf]
  11. Josep Silva, Olaf Chitil
    Combining algorithmic debugging and program slicing. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:157-166 [Conf]
  12. Olaf Chitil, Yong Luo
    Structure and Properties of Traces for Functional Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:1, pp:39-63 [Journal]
  13. Olaf Chitil
    The c-Semantics: A Comprehensive Semantics for Functional Programs. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:31, n:3/4, pp:253-294 [Journal]
  14. Olaf Chitil
    Pretty printing with lazy dequeues. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:1, pp:163-184 [Journal]
  15. Olaf Chitil, Frank Huch
    A Pattern Logic for Prompt Lazy Assertions in Haskell. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:126-144 [Conf]
  16. Yong Luo, Olaf Chitil
    Proving the correctness of algorithmic debugging for functional programs. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:19-34 [Conf]

  17. Monadic, Prompt Lazy Assertions in Haskell. [Citation Graph (, )][DBLP]


  18. Comprehending finite maps for algorithmic debugging of higher-order functional programs. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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