Login / Signup

Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic.

Susumu Nishimura
Published in: AMAST (2006)
Keyphrases