Login / Signup

Incremental reasoning with lazy behavioral subtyping for multiple inheritance.

Johan DovlandEinar Broch JohnsenOlaf OweMartin Steffen
Published in: Sci. Comput. Program. (2011)
Keyphrases