Development of a Modelica Compiler Using JastAdd

Authors:
Johan Åkesson;Torbjörn Ekman;Görel Hedin
Affiliations:
Department of Automatic Control, Lund University, Lund, Sweden;Computing Laboratory, Oxford University, Oxford, United Kingdom;Department of Computer Science, Lund University, Lund, Sweden
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 8
Cited 2

Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars

SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Higher order attribute grammars

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Modularity and reusability in attribute grammars

Acta Informatica
JastAdd: an aspect-oriented compiler construction system

Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Evolution of Continuous-Time Modeling and Simulation

Proceedings of the 12th European Simulation Multiconference on Simulation - Past, Present and Future
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1

Principles of Object-Oriented Modeling and Simulation with Modelica 2.1
Modular name analysis for java using jastadd

GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering

Sound and extensible renaming for java

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
On the reuse and recommendation of model refactoring specifications

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex physical systems. Our implementation uses the attribute-grammar based tool JastAdd. In particular, we discuss the implementation of Modelica name analysis which is highly context-dependent, type analysis which is based on structural subtyping, and flattening which is a fundamental part of the Modelica compilation process.of so called modifications, Modelica.