Login / Signup

Specification and implementation of resilient, atomic data types.

William E. WeihlBarbara Liskov
Published in: ACM SIGPLAN Notices (1983)
Keyphrases