Sponsor of the Day:
Jerkmate
https://kframework.org/k-distribution/pl-tutorial/1_k/1_lambda/
K | Runtime Verification Inc
Design and implement your programming language and software analysis tools with mathematical rigor.
k runtime verificationinc
https://jellopaper.org/
KEVM: Semantics of EVM in K | Runtime Verification, Inc.
K Semantics of the Ethereum Virtual Machine (EVM)
k runtime verificationsemanticsevminc
https://jellopaper.org/edsl/
KEVM: Semantics of EVM in K | Runtime Verification, Inc.
K Semantics of the Ethereum Virtual Machine (EVM)
k runtime verificationsemanticsevminc
https://kframework.org/
K | Runtime Verification Inc
Design and implement your programming language and software analysis tools with mathematical rigor.
k runtime verificationinc