Domain-Specific Languages with Scala Cyrille Artho1 , Klaus Havelund2 , Rahul Kumar2 , and Yoriyuki Yamagata1 1 AIST, Amagasaki, Japan 2 Jet Propulsion Laboratory, California Institute of Technology, California, USA Abstract. Domain-Specific Languages (DSLs) are often classified into external and internal DSLs. An external DSL is a stand-alone language with its own parser. An internal DSL is an exte