(Q130952545)
Statements
FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions (English)
1 reference
1 reference
1 reference
1 reference
8 October 2024
1 reference
8
1 reference
OOPSLA2
1 reference
499-526
1 reference
Identifiers
1 reference