Decidability of code properties.

Henning Fernau Klaus Reinhardt Ludwig Staiger

Published in: RAIRO Theor. Informatics Appl. (2007)

Keyphrases

description logics
source code
desirable properties
query answering
neural network
machine learning
website
case study
image sequences
multi agent systems
artificial neural networks
query processing
data model
structural properties