Decidability for Entailments of Symbolic Heaps with Arrays.
Daisuke KimuraMakoto TatsutaPublished in: CoRR (2018)
Keyphrases
- symbolic representation
- high level
- description logics
- query answering
- connectionist learning
- symbolic description
- data structure
- machine learning
- decision procedures
- type checking
- connectionist models
- neural learning
- data sets
- evolutionary algorithm
- special case
- cellular automata
- real world
- multidimensional arrays
- symbolic reasoning
- real time