A Transformation System for Developing Recursive Programs (1977)

Cached

Download Links

by R. M. Burstall , John Darlington
Citations:574 - 3 self

Document Versions

A Transformation System for Developing Recursive Programs –R. M. Burstall, John Darlington — 1977