David Broman

Thesis proposal David Broman:


Type Safety of Equation-Based Object-Oriented Languages

Short abstract:

During the past two decades, a new kind of object-oriented language based
on differential-algebraic equations has emerged. Examples of such languages
are Modelica, gPROMS, and VHDL-AMS. This kind of language, which we call
equation-based object-oriented (EOO), enables new possibilities of modeling
and simulation of complex dynamic physical systems. However, the unusual
language semantics results in new challenges regarding static detection of
model errors. In this thesis, we are investigating the use of type systems
for static detection of such errors, as well as defining the language
semantics in terms of a small kernel language. The formal semantics of such
a kernel language is defined and the soundness of the type system is to be



Travel reports

Licentiate seminars


Courses Spring 2016


Last modified on February 2007 by Anne Moe