Towards imperative modules: Reasoning about invariants and sharing of mutable state.

David A. Naumann Michael Barnett

Published in: Theor. Comput. Sci. (2006)

Keyphrases

state space
information sharing
genetic algorithm
modular structure
database
databases
neural network
machine learning
artificial intelligence
search engine
object recognition
building blocks
multiple users
formal theory
projective invariants