CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Generating an IDE using Rascal Presentation
January 2012
-
January 2012
-
Say what you want instead of how. A DSL success story in the domain of digital forensics Presentation
January 2012 -
Verification of object-oriented programs: A transformational approach Article
Journal of Computer and System Sciences, 78(3)January 2012 -
Turing Language IDE Software
January 2012 -
Interaction of depth probes and style of depiction Article
i-Perception, 3(8), 528-540.A.J. van Doorn (Andrea), J.J. Koenderink, M.H.R. Leyssen (Mieke) and J. Wagemans (Johan)
January 2012
-
Termination detection for active objects Article
Journal of Logic and Algebraic Programming, 81(4)January 2012 -
January 2012