Thanks for your review. Attachments for ASE#874 SmartCoCo: Checking Comment-code Inconsistency in Smart Contracts via Constraint Propagation and Binding. This is the artifact of the prototype. It is ...
Abstract: Smart contracts are programs running on the blockchain. Comments in source code provide meaningful information for developers to facilitate code writing and understanding. Given various ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する