Matching logic is a formalism for specifying and reasoning about structu...
Recursively defined structures and properties about them are naturally
e...
The Algorand blockchain is a secure and decentralized public ledger base...
We propose a novel logic, called Frame Logic (FL), that extends first-or...
share