Automated lemma synthesis in symbolic-heap separation logic.
Quang-Trung TaTon Chanh LeSiau-Cheng KhooWei-Ngan ChinPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- logic synthesis
- data structure
- high level
- neural network
- logic programming
- modal logic
- binary decision diagrams
- asynchronous circuits
- logical framework
- multi valued
- semi automated
- fully automated
- learning algorithm
- machine learning
- functional programs
- symbolic description
- database
- johnson lindenstrauss
- predicate logic
- automated reasoning
- high dimensional
- data mining
- databases