Reasoning about Pointers in Refinement Calculus.

Ralph-Johan Back Xiaocong Fan Viorel Preoteasa

Published in: APSEC (2003)

Keyphrases

qualitative spatial
spatial reasoning
qualitative spatial reasoning
computer algebra
refinement process
algebraic structure
databases
qualitative reasoning
formal theory
e learning
case study
provably correct