Login / Signup

Synthesis-powered optimization of smart contracts via data type refactoring.

Yanju ChenYuepeng WangMaruth GoyalJames DongYu FengIsil Dillig
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • data types
  • data structure
  • database systems
  • data model
  • database management systems
  • optimization algorithm
  • optimization problems
  • abstract data types
  • user defined
  • database
  • high level
  • supply chain
  • object relational