The Mozart Programming System combines ongoing research in programming language design and implementation, constraint logic programming, distributed computing, and human-computer interfaces. Mozart implements the Oz language and provides both expressive power and advanced functionality.
The PLDC Research Group will use Mozart 2 for future programming education and future research in programming language design and implementation.
