Towards a synthesis semantics for systemC channels.

Kim Grüttner Henning Kleen Frank Oppenheimer Achim Rettberg Wolfgang Nebel

Published in: CODES+ISSS (2010)

Keyphrases

formal semantics
logic programming
semantic information
multi channel
machine learning
program synthesis
search engine
high level
relational databases
conceptual graphs
proof theory
argumentation semantics