Login / Signup

Typed Intermediate Languages for Shape Analysis.

Gianna BellèEugenio Moggi
Published in: TLCA (1997)
Keyphrases