Completeness and expressiveness of pointer program verification by separation logic.
Makoto TatsutaWei-Ngan ChinMahmudul Faisal Al AmeenPublished in: Inf. Comput. (2019)
Keyphrases
- computational properties
- expressive power
- data structure
- modal logic
- automated reasoning
- logic programming
- data quality
- classical logic
- data sets
- monadic second order logic
- learning algorithm
- formal theory
- order sorted
- database
- natural deduction
- predicate logic
- nonmonotonic logics
- color images
- decision trees
- data mining
- real time