The Open Source Modelica Project

The open source software movement has received enormous attention in recent years. It is often characterized as a fundamentally new way to develop software. This paper describes an effort to develo ...

[1]  Robin Milner,et al.  Commentary on standard ML , 1990 .

[2]  Peter Fritzson,et al.  GENERATING A MODELICA COMPILER FROM NATURAL SEMANTICS SPECIFICATIONS , 1998 .

[3]  Frank G. Pagan,et al.  Formal Specification of Programming Languages: A Panoramic Primer , 1981 .

[4]  Mikael Pettersson,et al.  Compiling Natural Semantics , 1999, Lecture Notes in Computer Science.

[5]  Martín Abadi,et al.  A Theory of Objects , 1996, Monographs in Computer Science.

[6]  Gilles Kahn,et al.  Natural Semantics , 1987, STACS.