22
Publications
947
Citations
18
H-Index
1989
Active since
S. Doaitse Swierstra is an author at Utrecht University specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningProgram AnalysisSyntaxGrammarLanguageComputational LinguisticsSemantics
Publications per year
1989–2010
22
22
Higher order attribute grammars
Harald Vogt, S. Doaitse Swierstra, M.F. Kuiper · 1989 · 213 citations
Arthur I. Baars, S. Doaitse Swierstra · 2002 · 101 citations
Scripting the type inference process
Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra · 2003 · 67 citations
Higher order attribute grammars
Harald Vogt, S. Doaitse Swierstra, M.F. Kuiper · ACM SIGPLAN Notices · 1989 · 56 citations
First-class Attribute Grammars
Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra · 2000 · 51 citations
Rows per page
1–5 of 22