Tooling and Languages
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Notable Works in Tooling and Languages
CTA: SCRF is building a list of key readings in each category area to orient researchers to notable works and previous research. Please comment in this thread with links to seminal research that would form part of an in… |
![]() ![]() |
1 | 29 | December 1, 2020 |
Key Problems in Tooling and Languages
CTA: In these threads we attempt to inventory key areas of exploration that may exist in a particular discipline. These posts are living documents and it is our hope that the community will contribute to the list. CT… |
![]() ![]() |
1 | 25 | December 1, 2020 |
About the Tooling and Languages category
|
![]() |
0 | 11 | November 5, 2020 |
Scribble: an inline verification language for Solidity
|
![]() ![]() ![]() |
3 | 79 | January 8, 2021 |
Research Summary - eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
|
![]() |
0 | 98 | November 19, 2020 |
Introduction to Tooling and Languages
|
![]() |
0 | 15 | December 1, 2020 |