Smart Contract Code Translation based on Concepts

Rabimba Karanjai, Lei Xu, Weidong Shi Nov 1, 2024
DOI arXiv PDF
BibTeX Citation 
@inproceedings{karanjai2024solmover,
  title={Solmover: Smart contract code translation based on concepts},
  author={Karanjai, Rabimba and Xu, Lei and Shi, Weidong},
  booktitle={Proceedings of the 1st ACM International Conference on AI-Powered Software},
  pages={112--121},
  year={2024}
}
Copied to clipboard
Read Paper Download PDF

Abstract

We explore using conceptual mappings to translate smart contracts safely between high-level smart contract languages.

Type Conference Paper
Venue ACM Foundations of Software Engineering (FSE) 2024
Date Nov 2024
Smart Contracts Blockchain Code Translation First Author
Smart Contracts Blockchain Code Translation First Author