Abstract Patterns of Compositional Reasoning.

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler

Browse the full CONCUR paper archive.