Lightweight Specifications for Distinguishing Functions
Consider a project that involves the rapid implementation of two or more libraries or frameworks that are interdependent (or that must be mutually compatible). When such libraries have a large number of primitive mathematical…