Incremental reachability checking of KernelC programs using matching logic.
Alessandro Maria RizziPublished in: ICSE Companion (2014)
Keyphrases
- pattern matching
- matching algorithm
- dynamic logic
- incremental learning
- recursive programs
- matching process
- logic programming
- image matching
- state space
- feature matching
- agent programming
- ontology matching
- matching scheme
- multi valued
- graph matching
- modal logic
- automated reasoning
- classical logic
- operational semantics
- predicate logic
- image set
- incremental algorithms
- keypoints
- feature points