Data flow graphs: system specification with the most unrestricted semantics.
Gjalt G. de JongPublished in: EURO-DAC (1991)
Keyphrases
- specification language
- formal semantics
- specification languages
- conceptual model
- formal language
- operational semantics
- active rules
- logic programming
- semantic information
- formal specification
- high level
- complete axiomatization
- conceptual schema
- formal languages
- genetic algorithm
- case study
- active databases
- definition language
- programming language
- data model
- knowledge base