Change search
ReferencesLink to record
Permanent link

Direct link
Meta-Programming and Language Modeling with MetaModelica 1.0
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.ORCID iD: 0000-0002-3435-4996
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
2011 (English)Report (Other academic)
Abstract [en]

This report gives a language definition and tutorial on how to model languages using MetaModelica 1.0 – an extended subset of Modelica designed for efficient language modeling. Starting from an extremely simple language, a series of small languages are modeled by gradually adding features. Both interpretive and translational language semantics are modeled. Exercises with solutions are given.

The approach of allowing the modeling language to model language semantics in principle allows the definition of language semantics in libraries, which could be used to reverse the current trend of model compilers becoming very large and complex.

MetaModelica 1.0 is the first Modelica language version that supports  language modeling, and has been in extensive use since 2005, primarily in the development of the OpenModelica compiler.

MetaModelica 1.0 is strongly related to the RML specification language for Natural Semantics/Structural Operational Semantics, and is implemented using the RML compiler kernel but with a new compiler frontend. Thus, it lacks many standard language features in Modelica and requires a strictly functional modeling style.

The next version of MetaModelica, becoming available during the spring 2011, is implemented within the standard OpenModelica compiler. Therefore it also supports the standard Modelica 3 language features as well as additional features for expressiveness and conciseness.

Place, publisher, year, edition, pages
LInköping: Linköping University Electronic Press , 2011. , 211 p.
Series
Technical reports in Computer and Information Science, ISSN 1654-7233 ; 9
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-66440OAI: oai:DiVA.org:liu-66440DiVA: diva2:403940
Available from: 2011-03-15 Created: 2011-03-15 Last updated: 2014-10-08Bibliographically approved

Open Access in DiVA

Meta-Programming and Language Modeling with MetaModelica 1.0(818 kB)584 downloads
File information
File name FULLTEXT01.pdfFile size 818 kBChecksum SHA-512
8b955dde6cc321ecb99fcfb8f3f21abfea9a40f35b19e362cfaa9f2adcfc4adf37550f54710c6a0e90d27e0dcb7c5b73b4b26a8625948e15ab3bd4a8ab0ba4cd
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Fritzson, PeterPop, Adrian
By organisation
PELAB - Programming Environment LaboratoryThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 584 downloads
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: 14814 hits
ReferencesLink to record
Permanent link

Direct link