Change search
ReferencesLink to record
Permanent link

Direct link
Types in the Modelica Language
Linköpings universitet, Institutionen för datavetenskap. (PELAB)ORCID iD: 0000-0001-8457-4105
Linköpings universitet, Institutionen för datavetenskap. (PELAB)ORCID iD: 0000-0002-3435-4996
Imagine, France.
2006 (English)In: Proceedings of the Fifth International Modelica Conference, 2006, 303-315 p.Conference paper (Refereed)
Abstract [en]

Modelica is an object-oriented language designed for modeling and simulation of complex physical systems. To enable the possibility for an engineer to discover errors in a model, languages and compilers are making use of the concept of types and type checking. This paper gives an overview of the concept of types in the context of the Modelica language. Furthermore, a new concrete syntax for describing Modelica types is given as a starting point to formalize types in Modelica. Finally, it is concluded that the current state of the Modelica language specification is too informal and should in the long term be augmented by a formal definition.


Place, publisher, year, edition, pages
2006. 303-315 p.
Keyword [en]
type system; types; Modelica; simulation; modeling; type safety
National Category
Engineering and Technology
URN: urn:nbn:se:kth:diva-163769OAI: diva2:803880
Modelica Conference, Vienna 2006

QC 20150415

Available from: 2007-11-16 Created: 2015-04-12 Last updated: 2015-04-15Bibliographically approved

Open Access in DiVA

No full text

Other links

Link to paperLink to conferenceLink to Licentiate thesis

Search in DiVA

By author/editor
Broman, DavidFritzson, Peter
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 17 hits
ReferencesLink to record
Permanent link

Direct link