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 |