Index Terms
- Technical report column
Recommendations
Semantics column
This quarter's Semantics column is devoted to a survey of BI-Logic - the logic of bunched implications - by David Pym. BI-Logics have a broad range of applications, including program verification. In particular they underpin Separation Logic which has ...
Technical Report Column
Complexity Theory, Game Theory, and Economics, Tim Roughgarden, TR18-001. Which Distribution Distances are Sublinearly Testable?, Constantinos Daskalakis, Gautam Kamath, John Wright, TR18-002. Proving that prBPP = prP is as hard as \almost" proving that ...
Comments