...
- Model: Relational vs Tree
- control flow statements
- variable binding & cross reference
- types information of AST nodes + type constraints (subtype relations)
- set operators
- generics / wildcards
- read/write references
- anonymous class
- aggregates (grouping results)
- pattern matching? (i.e JTL style for argument list, SOUL like for AST matching)
- universal quantifiers (forall, exists, no)
- querying style
...
Overview
Content Tools
ThemeBuilder