- Author:
- Mikael Pettersson,
- Editors:
- J. Van Leeuwen,
- J. Hartmanis,
- G. Goos
No abstract available.
Cited By
Broman D, Fritzson P, Hedin G and Åkesson J A comparison of two metacompilation approaches to implementing a complex domain-specific language Proceedings of the 27th Annual ACM Symposium on Applied Computing, (1919-1921)- van den Brand M, van der Meer A, Serebrenik A and Hofkamp A Formally specified type checkers for domain specific languages Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, (1-7)
- Fritzson P The modelica object-oriented equation-based language and its open modelica environment with meta modeling, interoperability, and parallel execution Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots, (5-14)
- Aldrich J, Simmons R and Shin K SASyLF Proceedings of the 2008 international workshop on Functional and declarative programming in education, (31-40)
- Chalub F and Braga C (2007). Maude MSOS Tool, Electronic Notes in Theoretical Computer Science (ENTCS), 176:4, (133-146), Online publication date: 1-Jul-2007.
- Pop A and Fritzson P MetaModelica Proceedings of the 7th joint conference on Modular Programming Languages, (211-229)
- Meseguer J and Roşu G (2006). The Rewriting Logic Semantics Project, Electronic Notes in Theoretical Computer Science (ENTCS), 156:1, (27-56), Online publication date: 1-May-2006.
Recommendations
Compiling Modechart specifications
RTSS '95: Proceedings of the 16th IEEE Real-Time Systems SymposiumThe Modechart specification language is a formalism for the specification of real-time systems. A toolset for specification, analysis and simulation for Modechart specifications exists for supporting the design and construction of real-time systems. ...
From natural semantics to c: A formal derivation of two stg machines
The Spineless Tag-less G-machine (STG machine) was defined as the target abstract machine for compiling the lazy functional language Haskell. It is at the heart of the Glasgow Haskell Compiler (GHC) which is claimed to be the Haskell compiler that ...
Control flow aspects of semantics directed compiling (Summary)
Proceedings of the 1982 SIGPLAN symposium on Compiler constructionWe focus on the part of a compiler between syntax analysis and code generation. A language is specified by adding semantic rules in a functional notation to the syntax of the language. Starting with a small sublanguage of while statements, the semantics ...