Pointer Theory and Weakest Preconditions without Addresses and Heap.

Birgit Schieder

Published in: MPC (2004)

Keyphrases

data structure
theoretical framework
computer vision
information systems
feature selection
general theory
formal theory
genetic algorithm
social networks
decision making
image processing
three dimensional
artificial neural networks
medical images
action models