{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,26]],"date-time":"2025-12-26T07:09:09Z","timestamp":1766732949676,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T00:00:00Z","timestamp":1713052800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,14]]},"DOI":"10.1145\/3639478.3640038","type":"proceedings-article","created":{"date-parts":[[2024,5,23]],"date-time":"2024-05-23T10:49:26Z","timestamp":1716461366000},"page":"26-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Verifying and Displaying Move Smart Contract Source Code for the Sui Blockchain"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2912-191X","authenticated-orcid":false,"given":"Rijnard","family":"van Tonder","sequence":"first","affiliation":[{"name":"Mysten Labs, Inc., Palo Alto, California, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,5,23]]},"reference":[{"volume-title":"Discover the languages of Tezos. https:\/\/tezos.com\/developers\/languages. Online","year":"2023","key":"e_1_3_2_1_1_1","unstructured":"2023. Discover the languages of Tezos. https:\/\/tezos.com\/developers\/languages. Online; accessed 24 October 2023."},{"volume-title":"Ethereum Smart Contract Languages. https:\/\/ethereum.org\/en\/developers\/docs\/smart-contracts\/languages. Online","year":"2023","key":"e_1_3_2_1_2_1","unstructured":"2023. Ethereum Smart Contract Languages. https:\/\/ethereum.org\/en\/developers\/docs\/smart-contracts\/languages. Online; accessed 24 October 2023."},{"volume-title":"Feature Request: Possibility to Verify Source For Tezos Smart Contracts. https:\/\/gitlab.com\/tezos\/tezos\/-\/issues\/4491. Online","year":"2023","key":"e_1_3_2_1_3_1","unstructured":"2023. Feature Request: Possibility to Verify Source For Tezos Smart Contracts. https:\/\/gitlab.com\/tezos\/tezos\/-\/issues\/4491. Online; accessed 24 October 2023."},{"volume-title":"Language Server Protocol. https:\/\/microsoft.github.io\/language-server-protocol. Online","year":"2023","key":"e_1_3_2_1_4_1","unstructured":"2023. Language Server Protocol. https:\/\/microsoft.github.io\/language-server-protocol. Online; accessed 24 October 2023."},{"volume-title":"Solana Rust Program Quickstart. https:\/\/docs.solana.com\/getstarted\/rust. Online","year":"2023","key":"e_1_3_2_1_5_1","unstructured":"2023. Solana Rust Program Quickstart. https:\/\/docs.solana.com\/getstarted\/rust. Online; accessed 24 October 2023."},{"volume-title":"Solidity Verified Contract. https:\/\/etherscan.io\/token\/0x0AaCfbeC6a24756c20D41914F2caba817C0d8521#code. Online","year":"2023","key":"e_1_3_2_1_6_1","unstructured":"2023. Solidity Verified Contract. https:\/\/etherscan.io\/token\/0x0AaCfbeC6a24756c20D41914F2caba817C0d8521#code. Online; accessed 24 October 2023."},{"volume-title":"What is Anchor and the Anchor Program Registry? https:\/\/www.alchemy.com\/overviews\/solana-anchor. Online","year":"2023","key":"e_1_3_2_1_7_1","unstructured":"2023. What is Anchor and the Anchor Program Registry? https:\/\/www.alchemy.com\/overviews\/solana-anchor. Online; accessed 24 October 2023."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.235271"},{"volume-title":"Open Source-Style Collaborative Development Practices in Commercial Projects Using GitHub. In International Conference on Software Engineering (ICSE '15)","author":"Kalliamvakou Eirini","key":"e_1_3_2_1_9_1","unstructured":"Eirini Kalliamvakou, Daniela E. Damian, Kelly Blincoe, Leif Singer, and Daniel M. Germ\u00e1n. 2015. Open Source-Style Collaborative Development Practices in Commercial Projects Using GitHub. In International Conference on Software Engineering (ICSE '15). 574--585."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/280324.280335"},{"key":"e_1_3_2_1_11_1","volume-title":"International Conference on Software Engineering (ICSE). ACM, 511--522","author":"Trockman Asher","year":"2018","unstructured":"Asher Trockman, Shurui Zhou, Christian K\u00e4stner, and Bogdan Vasilescu. 2018. Adding sparkle to social coding: an empirical study of repository badges in the npm ecosystem. In International Conference on Software Engineering (ICSE). ACM, 511--522."},{"key":"e_1_3_2_1_12_1","volume-title":"International Conference on Software Engineering (ICSE '12)","author":"Wagner Stefan","year":"2012","unstructured":"Stefan Wagner, Klaus Lochmann, Lars Heinemann, Michael Kl\u00e4s, Adam Trendowicz, Reinhold Pl\u00f6sch, Andreas Seidl, Andreas Goeb, and Jonathan Streit. 2012. The Quamoco product quality modelling and assessment approach. In International Conference on Software Engineering (ICSE '12). 1133--1142."}],"event":{"name":"ICSE-Companion '24: 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"],"location":"Lisbon Portugal","acronym":"ICSE-Companion '24"},"container-title":["Proceedings of the 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639478.3640038","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3639478.3640038","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:36Z","timestamp":1750291416000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639478.3640038"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,14]]},"references-count":12,"alternative-id":["10.1145\/3639478.3640038","10.1145\/3639478"],"URL":"https:\/\/doi.org\/10.1145\/3639478.3640038","relation":{},"subject":[],"published":{"date-parts":[[2024,4,14]]},"assertion":[{"value":"2024-05-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}