Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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
Identifiers
URN: urn:nbn:se:kth:diva-163769OAI: oai:DiVA.org:kth-163769DiVA: diva2:803880
Conference
Modelica Conference, Vienna 2006
Note

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

Authority records BETA

Broman, DavidFritzson, Peter

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 22 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf