Functions as Passive Constraints in LIFE (1994)

Cached

Download Links

by Hassan Aït-Kaci , Andreas Podelski
Venue:ACM Transactions on Programming Languages and Systems
Citations:12 - 4 self