A framework for program verification in the context of linked structures and pointer variables.

Published in: SIGCSE (1991)

Keyphrases

probabilistic model
theoretical framework
conceptual framework
context dependent
real time
data sets
machine learning
information systems
feature selection
multiscale
expert systems
context aware
lightweight
contextual information
context sensitive
introduce a general framework