Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore a compelling case for formal methods to make a significant impact in compiling computations that multiply and aggregate semiring values, as observed in the positive algebra over K-relations, in this 19-minute ACM SIGPLAN conference talk.
