Millstream Systems - a Formal Model for Linking Language Modules by Interfaces

Suna Bensch, Frank Drewes

Abstract: We introduce Millstream systems, a formal model consisting of modules and an interface, where the modules formalise different aspects of language, and the interface links these aspects with each other.