Search papers, labs, and topics across Lattice.
Drexel University
1
0
2
Effect quantales reveal a surprising new dimension to abstract interpretations, shifting the focus from states to event occurrences.
