4 ms·
Kiczales actually points out that the many recent advancements on reasoning about programs (type systems, contracts) can probably be applied here.
by swannodette 15y ago
Kiczales actually points out that the many recent advancements on reasoning about programs (type systems, contracts) can probably be applied here.