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

Document Versions

Towards a Modular Program Derivation via Fusion and Tupling –Wei-Ngan Chin, Zhenjiang Hu — 2002 — The First ACM SIGPLAN Conference on Generators and Components, Lecture