The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

S. Doaitse Swierstra: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Atze Dijkstra, S. Doaitse Swierstra
    Typing Haskell with an Attribute Grammar. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 2004, pp:1-72 [Conf]
  2. S. Doaitse Swierstra, Pablo R. Azero Alcocer, João Saraiva
    Designing and Implementing Combinator Languages. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 1998, pp:150-206 [Conf]
  3. S. Doaitse Swierstra, Luc Duponcheel
    Deterministic, Error-Correcting Combinator Parsers. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 1996, pp:184-207 [Conf]
  4. João Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper
    Functional Incremental Attribute Evaluation. [Citation Graph (0, 0)][DBLP]
    CC, 2000, pp:279-294 [Conf]
  5. João Saraiva, S. Doaitse Swierstra
    Data Structure Free Compilation. [Citation Graph (0, 0)][DBLP]
    CC, 1999, pp:1-16 [Conf]
  6. Johan Jeuring, S. Doaitse Swierstra
    Bottom-up Grammar Analysis - A Functional Formulation. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:317-332 [Conf]
  7. Atze Dijkstra, S. Doaitse Swierstra
    Ruler: Programming Type Rules. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:30-46 [Conf]
  8. I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra
    Web Cube. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:77-92 [Conf]
  9. Johan Jeuring, S. Doaitse Swierstra
    Constructing Functional Programs for Grammar Analysis Problems. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:259-269 [Conf]
  10. João Saraiva, S. Doaitse Swierstra
    Generating Spreadsheet-Like Tools from Strong Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    GPCE, 2003, pp:307-323 [Conf]
  11. Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra
    Scripting the type inference process. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:3-13 [Conf]
  12. Arthur I. Baars, S. Doaitse Swierstra
    Typing dynamic typing. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:157-166 [Conf]
  13. R. John M. Hughes, S. Doaitse Swierstra
    Polish parsers, step by step. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:239-248 [Conf]
  14. S. Doaitse Swierstra, Oege de Moor
    Virtual Data Structures. [Citation Graph (0, 0)][DBLP]
    Formal Program Development, 1993, pp:355-371 [Conf]
  15. S. Doaitse Swierstra, Pablo R. Azero Alcocer
    Attribute grammars in the functional style. [Citation Graph (0, 0)][DBLP]
    Systems Implementation 2000, 1998, pp:180-193 [Conf]
  16. I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra
    A UNITY-Based Framework Towards Component Based Systems. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2004, pp:52-66 [Conf]
  17. Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper
    Higher-Order Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    PLDI, 1989, pp:131-145 [Conf]
  18. Maarten Pennings, S. Doaitse Swierstra, Harald Vogt
    Using Cached Functions and Constructors for Incremental Attribute Evaluation. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:130-144 [Conf]
  19. Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper
    Efficient Incremental Evaluation of Higher order Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:231-242 [Conf]
  20. S. Doaitse Swierstra, Harald Vogt
    Higher Order Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    Attribute Grammars, Applications and Systems, 1991, pp:256-296 [Conf]
  21. A. H. Uittenbogaard, P. J. A. Lentfert, S. Doaitse Swierstra
    Smart cabling: an overview. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 1990, pp:- [Conf]
  22. S. Doaitse Swierstra, Pablo R. Azero Alcocer
    Fast, Error Correcting Parser Combinatiors: A Short Tutorial. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1999, pp:112-131 [Conf]
  23. P. J. A. Lentfert, S. Doaitse Swierstra
    Towards the Formal Design of Self-Stabilizing Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    STACS, 1993, pp:440-451 [Conf]
  24. Matthijs F. Kuiper, S. Doaitse Swierstra
    Parallel Attribute Evaluation: Structure of Evaluators and Detection of Parallelism. [Citation Graph (0, 0)][DBLP]
    WAGA, 1990, pp:61-75 [Conf]
  25. Tanja E. J. Vos, S. Doaitse Swierstra
    Make your Enemies Transparent. [Citation Graph (0, 0)][DBLP]
    WG, 1997, pp:342-353 [Conf]
  26. Tanja E. J. Vos, S. Doaitse Swierstra
    Facilitating the Verification of Diffusing Computations and Their Applications. [Citation Graph (0, 0)][DBLP]
    CLEI Electron. J., 2005, v:8, n:1, pp:- [Journal]
  27. S. Doaitse Swierstra
    Combinator Parsers - From Toys to Tools. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:41, n:1, pp:- [Journal]
  28. P. J. A. Lentfert, S. Doaitse Swierstra
    Distributed Maximum Maintenance on Hierarchically Divided Graphs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1993, v:5, n:1, pp:21-60 [Journal]
  29. Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra
    First-class Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    Informatica (Slovenia), 2000, v:24, n:3, pp:- [Journal]
  30. Coenraad Bron, E. J. Dijkstra, S. Doaitse Swierstra
    A Memory-Management Unit for the Optimal Exploitation of a Small Address Space. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1982, v:15, n:1, pp:20-22 [Journal]
  31. Arthur I. Baars, Andres Löh, S. Doaitse Swierstra
    Parsing permutation phrases. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:6, pp:635-646 [Journal]
  32. I. S. W. B. Prasetya, S. Doaitse Swierstra
    Formal design of self-stabilizing programs. [Citation Graph (0, 0)][DBLP]
    J. High Speed Networks, 2005, v:14, n:1, pp:59-83 [Journal]
  33. I. S. W. B. Prasetya, S. Doaitse Swierstra
    Factorizing fault tolerance. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:2, pp:1201-1222 [Journal]

  34. Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. [Citation Graph (, )][DBLP]


  35. The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity. [Citation Graph (, )][DBLP]


  36. Typed transformations of typed abstract syntax. [Citation Graph (, )][DBLP]


  37. The architecture of the Utrecht Haskell compiler. [Citation Graph (, )][DBLP]


  38. Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime. [Citation Graph (, )][DBLP]


  39. Combinator Parsing: A Short Tutorial. [Citation Graph (, )][DBLP]


  40. Abstract Interpretation of Functional Programs using an Attribute Grammar System. [Citation Graph (, )][DBLP]


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