Assertion: heptagon | /r/HasProperty | synchronous dataflow language
Facets:
Source sentences:
text: Heptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).