Type Systems for DSLs
Markus Völter discusses what type systems are and some of the typing rules usually needed for DSLs, exemplifying the concepts with Xtext and MPS.
InfoQ
InfoQ
Editor Specific Content View
All of Markus Völter's Content on InfoQ
Latest featured content by Markus Völter
Articles by Markus Völter
Xtext/TS - a Typesystem Framework for Xtext
Since the release of version 1.0, it has become feasible to build complex expression languages in Xtext. However, once you have expressions, you typically also need a type system. In this article Markus Völter describes a framework for specifying type systems for expression languages built using Xtext.
Architecture as Language: A story
Architecture is often described non-tangible in Word documents or entirely technology-driven. Both are bad, but what can be done? Markus Völter describes how to evolve a language around your architecture, a formal language that as a side effect ends up being a good base for generating important parts of the system.
Presentations by Markus Völter
Managing Variability in Product-Lines
In this talk, Markus Völter illustrates how model-driven and aspect oriented software development help addressing the challenge of managing variability in product line engineering. Both the problem space and the solution space are described by models, using a model-to-model transformation to map problem space variability to solution space variability.
