The scope of Eclipse Xsemantics™ is to provide a DSL for writing rules for languages implemented in Xtext, particularly the static semantics (type system), the dynamic semantics (operational semantics) and relation rules (subtyping), and it provides a generator to create a Java implementation based on these rules to be used in Xtext validations.
| Name | Date |
|---|
| Name | Date |
|---|---|
| Progress Review 2021-10 | 2021-09-08 |
| Creation Review | 2017-08-16 |