Formal Reasoning About Lazy-STM Programs.

Yong Li Yu Zhang Yiyun Chen Ming Fu

Published in: J. Comput. Sci. Technol. (2010)

Keyphrases

databases
information processing
formal model
formal methods
neural network
spatial reasoning
qualitative reasoning
formal language
formal theory
database
real time
social networks
information systems
high level
formal analysis
provably correct