Login / Signup
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics.
Xiaowei Huang
Ron van der Meyden
Published in:
CoRR (2013)
Keyphrases
</>
program synthesis
functional programs
semantically equivalent
intended meaning
low level
logic programming
efficient implementation
symbolic representation
control flow
conceptual model
static analysis
formal semantics
conceptual graphs
programming environment
transformation rules
declarative semantics