An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada.
Morteza MohaqeqiJakaria AbdullahWang YiPublished in: Ada-Europe (2017)
Keyphrases
- logic programming
- semantic information
- formal semantics
- graph matching
- graph representation
- graph mining
- graph properties
- control flow
- formal specification
- graph model
- attribute grammars
- process algebra
- graph structure
- knowledge base
- graph partitioning
- weighted graph
- graph clustering
- directed graph
- speech acts
- asynchronous circuits
- conceptual model
- logic programs
- relational databases