Searching for "Executable Specifications for Language Implementation." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
The RML2C compiler - present and future (Extended Abstract)
- …, the Relational Meta-Language, is an executable specification language for the implementation of Natural Semantics…
- Add To MetaCart
-
Rigorously Automating Transformations of UML Behavior Models
- … to an executable specification language implemented as the Maude system. It is a logic of concurrent change…
- Cited by 1 (0 self) – Add To MetaCart
-
Construction of Application Generators Using Eli
- … of Kastens since 1993: 1993 Executable Specifications for Language Implementation 1993 Design of a VLIW…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 3.
