A separation logic for sequences in pointer programs and its decidability.
Tianyue CaoBowen ZhangZhao JinYongzhi CaoHanpin WangPublished in: CoRR (2023)
Keyphrases
- dynamic logic
- hidden markov models
- logic programming
- description logics
- predicate logic
- computational properties
- long sequences
- data structure
- query answering
- automated reasoning
- multi valued
- decision procedures
- classical logic
- proof theory
- deontic logic
- fixpoint
- answer sets
- sequential patterns
- recursive programs
- functional programs
- declarative programming
- stable models
- agent programming
- neural network
- data model
- knowledge base