Department of Computer Science at UH

University of Houston

Department of Computer Science

In Partial Fulfillment of the Requirements for the Degree of
Master of Science

Alex Metry

Will defend his thesis

Validating Internal Domain Specific Languages


A Domain Specific Language (DSL) is a programming language used in a certain business domain. An internal DSL is a type of DSL that depends on another general purpose programming language called a host language. When an internal DSL is processed, its instructions run as part of the host language instructions. So if the internal DSL is not valid, processing it could produce unexpected results. Our objective in this thesis is to device a library to validate internal DSLs. To validate an internal DSL before processing it, we provide a way for the user to define a grammar. This grammar is used to describe the structure and the contents of the internal DSL. From this grammar our library builds an internal structure which is used to simulate the execution of the DSL processor. If the DSL runs successfully through the simulated structure then it will also run successfully through the real processor, and thus the DSL can be considered valid.

Date: Wednesday, June 17, 2009
Time: 2:30 PM
Place: 550-PGH
Faculty, students, and the general public are invited.
Advisor: Dr. Venkat Subramaniam