https://github.com/kraks/contract-for-contract

https://github.com/kraks/contract-for-contract

Last synced: 23 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/kraks/contract-for-contract
• Owner: Kraks
• Created: 2022-11-04T22:07:41.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2024-06-25T22:48:17.000Z (5 months ago)
• Last Synced: 2024-10-11T21:51:49.180Z (about 1 month ago)
• Language: Solidity
• Size: 34.1 MB
• Stars: 5
• Watchers: 6
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
## Artifact for "Consolidating Smart Contracts with Behavioral Contracts"

- 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](https://doi.org/10.1145/3656416)