About this scholarly article

A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs by Test is a scholarly article available to read on EtoBox.

Author

Test