Automatic code generation in SPARK: Applications of computer algebra and compiler-compilers
Autor: | F.C. Winkelmann, J.-M. Nataf |
---|---|
Rok vydání: | 1992 |
Předmět: |
Theoretical computer science
Programming language Computer science Interface (computing) computer.software_genre Symbolic computation Simulation language Dynamic simulation ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION Spark (mathematics) Code generation Compiler Software_PROGRAMMINGLANGUAGES Macro computer |
DOI: | 10.2172/10161277 |
Popis: | We show how computer algebra and compiler-compilers are used for automatic code generation in the Simulation Problem Analysis and Research Kernel (SPARK), an object oriented environment for modeling complex physical systems that can be described by differential-algebraic equations. After a brief overview of SPARK, we describe the use of computer algebra in SPARK`s symbolic interface, which generates solution code for equations that are entered in symbolic form. We also describe how the Lex/Yacc compiler-compiler is used to achieve important extensions to the SPARK simulation language, including parametrized macro objects and steady-state resetting of a dynamic simulation. The application of these methods to solving the partial differential equations for two-dimensional heat flow is illustrated. |
Databáze: | OpenAIRE |
Externí odkaz: |