Proceedings of the first Franco-Japanese Symposium on Programming of future generation computers
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A simple applicative language: mini-ML
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Introduction to Physical Modeling with Modelica
Introduction to Physical Modeling with Modelica
Compiling Natural Semantics
The Implementation of ObjectMath - a High-Level Programming Environment for Scientific Computing
CC '92 Proceedings of the 4th International Conference on Compiler Construction
Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification
CC '94 Proceedings of the 5th International Conference on Compiler Construction
SS '02 Proceedings of the 35th Annual Simulation Symposium
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1
Natural semantics as a static program analysis framework
ACM Transactions on Programming Languages and Systems (TOPLAS)
Debugging natural semantics specifications
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Multi-view modeling to support embedded systems engineering in SysML
Graph transformations and model-driven engineering
Hi-index | 0.00 |
For a long time, one of the major research goals in the computer science research community has been to raise the level of abstraction power of specification languages/programming languages. Many specification languages and formalisms have been invented, but unfortunately very few of those are practically useful, due to limited computer support of these languages and/or inefficient implementations. Thus, one important goal is executable specification languages of high abstraction power and with high performance, good enough for practical usage and comparable in execution speed to hand implementations of applications in low-level languages such as C or C++. In this paper we briefly describe our work in creating efficient executable specification languages for two application domains. The first area is formal specification of programming language semantics, whereas the second is formal specification of complex systems for which we have developed an object-oriented mathematical modeling language called Modelica, including architectural support for components and connectors. Based on these efforts, we are currently working on a unified equation-based mathematical modeling language that can handle modeling of items as diverse as programming languages, computer algebra, event-driven systems, and continuous-time physical systems. The key unifying feature is the notion of equation. In this paper we describe the design and implementation of the unified language. A compiler implementation is already up and running, and used for substantial applications.