Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State.

David A. Naumann Michael Barnett

Published in: LICS (2004)

Keyphrases

state space
artificial intelligence
information sharing
databases
data sharing
database
finite state machines
modular architecture