Program Transformation via Contextual Assertions (1994)

Cached

Download Links

by Ian A. Mason , Carolyn Talcott
Venue:In Logic, Language and Computation. Festschrift in Honor of Satoru Takasu
Citations:7 - 4 self