Towards a Modular Program Derivation via Fusion and Tupling (2002)

Cached

Download Links

by Wei-Ngan Chin , Zhenjiang Hu
Venue: The First ACM SIGPLAN Conference on Generators and Components, Lecture
Citations:2 - 0 self