S. Doaitse Swierstra - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2011

Stepwise evaluation of attribute grammarsArie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra. LDTA 2011: 5 [doi]

2010

Typed Transformations of Typed Grammars: The Left Corner TransformArthur I. Baars, S. Doaitse Swierstra, Marcos Viera. ENTCS, 253(7):51-64, 2010. [doi]

Iterative Type Inference with Attribute GrammarsArie Middelkoop, S. Doaitse Swierstra, Atze Dijkstra. GPCE 2010:

Iterative type inference with attribute grammarsArie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra. GPCE 2010: 43-52 [doi]

2009

Typed transformations of typed abstract syntaxArthur I. Baars, S. Doaitse Swierstra, Marcos Viera. tldi 2009: 15-26 [doi]

The architecture of the Utrecht Haskell compilerAtze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra. haskell 2009: 93-104 [doi]

Abstract Interpretation of Functional Programs using an Attribute Grammar SystemJeroen Fokker, S. Doaitse Swierstra. ENTCS, 238(5):117-133, 2009. [doi]

Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised LecturesPieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra, editors, Volume 5832 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Linear, bounded, functional pretty-printingS. Doaitse Swierstra, Olaf Chitil. JFP, 19(1):1-16, 2009. [doi]

Attribute grammars fly first-class: how to do aspect oriented programming in HaskellMarcos Viera, S. Doaitse Swierstra, Wouter Swierstra. ICFP 2009: 245-256 [doi]

2008

Beyond ASCII - Parsing Programs with Graphical PresentationsMartijn M. Schrage, S. Doaitse Swierstra. jucs, 14(21):3414-3430, 2008. [doi]

Combinator Parsing: A Short TutorialS. Doaitse Swierstra. lernet 2009: 252-300 [doi]

Haskell, do you read me?: constructing and composing efficient top-down parsers at runtimeMarcos Viera, S. Doaitse Swierstra, Eelco Lempsink. haskell 2008: 63-74 [doi]

2007

The Structure of the Essential Haskell Compiler, or Coping with Compiler ComplexityAtze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra. IFL 2008: 57-74 [doi]

2006

Ruler: Programming Type RulesAtze Dijkstra, S. Doaitse Swierstra. FLOPS 2006: 30-46 [doi]

Web CubeI. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra. forte 2006: 77-92 [doi]

2005

Formal design of self-stabilizing programsI. S. W. B. Prasetya, S. Doaitse Swierstra. jhsn, 14(1):59-83, 2005. [doi]

Facilitating the Verification of Diffusing Computations and Their ApplicationsTanja E. J. Vos, S. Doaitse Swierstra. cleiej, 8(1), 2005. [doi]

2004

Parsing permutation phrasesArthur I. Baars, Andres Löh, S. Doaitse Swierstra. JFP, 14(6):635-646, 2004. [doi]

Typing Haskell with an Attribute GrammarAtze Dijkstra, S. Doaitse Swierstra. afp 2005: 1-72 [doi]

A UNITY-Based Framework Towards Component Based SystemsI. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra. opodis 2005: 52-66 [doi]

2003

2002

Typing dynamic typingArthur I. Baars, S. Doaitse Swierstra. ICFP 2002: 157-166 [doi]

2000

First-class Attribute GrammarsOege de Moor, Kevin Backhouse, S. Doaitse Swierstra. informaticaSI, 24(3), 2000.

Functional Incremental Attribute EvaluationJoão Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper. cc 2000: 279-294 [doi]

Combinator Parsers - From Toys to ToolsS. Doaitse Swierstra. ENTCS, 41(1), 2000. [doi]

1999

Data Structure Free CompilationJoão Saraiva, S. Doaitse Swierstra. cc 1999: 1-16

Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised LecturesS. Doaitse Swierstra, Pedro Rangel Henriques, José N. Oliveira, editors, Volume 1608 of Lecture Notes in Computer Science, Springer, 1999.

Programming Languages and Systems, 8th European Symposium on Programming, ESOP 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, ProceedingsS. Doaitse Swierstra, editor, Volume 1576 of Lecture Notes in Computer Science, Springer, 1999.

Fast, Error Correcting Parser Combinatiors: A Short TutorialS. Doaitse Swierstra, Pablo R. Azero Alcocer. sofsem 1999: 112-131 [doi]

1998

Designing and Implementing Combinator LanguagesS. Doaitse Swierstra, Pablo R. Azero Alcocer, João Saraiva. afp 1998: 150-206

Attribute grammars in the functional styleS. Doaitse Swierstra, Pablo R. Azero Alcocer. ifip2-4 1998: 180-193

1997

Make your Enemies TransparentTanja E. J. Vos, S. Doaitse Swierstra. criwg 1997: 342-353

1996

Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP 96, Aachen, Germany, September 24-27, 1996, ProceedingsHerbert Kuchen, S. Doaitse Swierstra, editors, Volume 1140 of Lecture Notes in Computer Science, Springer, 1996.

Deterministic, Error-Correcting Combinator ParsersS. Doaitse Swierstra, Luc Duponcheel. afp 1996: 184-207

1995

Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP 95, Utrecht, The Netherlands, September 20-22, 1995, ProceedingsManuel V. Hermenegildo, S. Doaitse Swierstra, editors, Volume 982 of Lecture Notes in Computer Science, Springer, 1995.

Constructing Functional Programs for Grammar Analysis ProblemsJohan Jeuring, S. Doaitse Swierstra. fpca 1995: 259-269

1994

Bottom-up Grammar Analysis - A Functional FormulationJohan Jeuring, S. Doaitse Swierstra. ESOP 1994: 317-332

1993

Towards the Formal Design of Self-Stabilizing Distributed AlgorithmsP. J. A. Lentfert, S. Doaitse Swierstra. STACS 1993: 440-451

Distributed Maximum Maintenance on Hierarchically Divided GraphsP. J. A. Lentfert, S. Doaitse Swierstra. fac, 5(1):21-60, 1993.

Virtual Data StructuresS. Doaitse Swierstra, Oege de Moor. ifip2-1 1993: 355-371

1992

Using Cached Functions and Constructors for Incremental Attribute EvaluationMaarten Pennings, S. Doaitse Swierstra, Harald Vogt. plilp 1992: 130-144

1991

Higher Order Attribute GrammarsS. Doaitse Swierstra, Harald Vogt. saga 1991: 256-296

Efficient Incremental Evaluation of Higher order Attribute GrammarsHarald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper. plilp 1991: 231-242

1990

Parallel Attribute Evaluation: Structure of Evaluators and Detection of ParallelismMatthijs F. Kuiper, S. Doaitse Swierstra. waga 1990: 61-75

Smart cabling: an overviewA. H. Uittenbogaard, P. J. A. Lentfert, S. Doaitse Swierstra. sigopsE 1990: [doi]

1989

Higher-Order Attribute GrammarsHarald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper. PLDI 1989: 131-145

1982

A Memory-Management Unit for the Optimal Exploitation of a Small Address SpaceCoenraad Bron, E. J. Dijkstra, S. Doaitse Swierstra. ipl, 15(1):20-22, 1982.