Formalizing DRAGSTERS - Compiling Computations for Semiring Value Multiplication and Aggregation

Offered By: ACM SIGPLAN via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

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.

Syllabus

[DRAGSTERS] Formalizing DRAGSTERS

Taught by

ACM SIGPLAN

Related Courses

Human Computer Interaction
Independent Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera Formal Software Verification
University System of Maryland via edX Principles of Secure Coding
University of California, Davis via Coursera