Searching for "An Executable Language Definition." – sorted by Relevance.
-
MINITALK: An annotated language definition
- design and comment a formal and executable language definition which can be applied in the \Delta
- Add To MetaCart
-
Strategic Reflection
- is efficiently executable, such language definitions in Maude may be considered to be interpreters
- Cited by 1 (1 self) – Add To MetaCart
-
Syntax Definition for Language Prototyping
- semantics. Language prototyping involves testing a language definition by executing it as a computer program
- Add To MetaCart
-
Two-dimensional Approximation Coverage
- are met, and if the behaviour of the executable language definition is as expected. This process can
- Cited by 3 (1 self) – Add To MetaCart
-
Proc. Workshop on Strategies in Automated Deduction
- is efficiently executable, such language definitions in Maude may be considered to be interpreters
- Add To MetaCart
-
A code generator framework for Isabelle/HOL
- functional target languages. 1 Introduction and related work Executing formal specifications is a well
- Cited by 2 (2 self) – Add To MetaCart
-
Industrial Applications of ASF+SDF
- with minimal effort, by executing the language definitions, and by offering a number of generation facilities
- Add To MetaCart
-
Industrial Applications of ASF+SDF
- , by executing the language definitions, and by offering a number of generation facilities. This requires
- Add To MetaCart
-
Using the ASF+SDF Meta-environment for teaching computer science
- as Chapter 2 of Executable Language Definitions --- Case Studies and Origin Tracking Techniques., PhD Thesis
- Add To MetaCart
-
From Domain Analysis to Domain-Specific Languages
- Deursen. Executable Language Definitions. Illc dissertation series, CWI, P.O. Box, 94079, 1090 GB
- Add To MetaCart

