Automated Lemma Synthesis in Symbolic-Heap Separation Logic.
Quang-Trung TaTon Chanh LeSiau-Cheng KhooWei-Ngan ChinPublished in: CoRR (2017)
Keyphrases
- logic synthesis
- data structure
- logic programming
- semi automated
- fully automated
- semi automatic
- modal logic
- functional programs
- automated analysis
- genetic algorithm
- high level
- texture synthesis
- classical logic
- predicate logic
- symbolic representation
- johnson lindenstrauss
- program synthesis
- multi valued
- databases
- machine learning