Eclipse Xsemantics

Primary tabs

Scope: 

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.

Reviews: 
NameDate
Creation Review2017-08-16