0/1 уроков (0%)
– из 1
Formalizing DRAGSTERS - Compiling Computations for Semiring Value Multiplication and Aggregation
YouTube·Formal Methods
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.