- Prototype implementation in
ConSol - Evaluation data in
eval-data - A modified version of solc-typed-ast
Consolidating Smart Contracts with Behavioral Contracts.
Guannan Wei, Danning Xie, Wuqi Zhang, Yongwei Yuan, and Zhuo Zhang.
Proc. ACM Program. Lang. 8, PLDI, Article 186 (June 2024), 25 pages. https://doi.org/10.1145/3656416