Tracing sharing in an imperative pure calculus

Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca. Tracing sharing in an imperative pure calculus. Science of Computer Programming, 172:180-202, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.