发布文献求助
待确认
  • 文献求助详情
标题
Automating Comment Generation for Smart Contract from Bytecode
从字节码自动生成智能合约的注释
相关领域
字节码 计算机科学 程序设计语言 源代码 智能合约 编码（集合论） 集合（抽象数据类型） Java 数据库事务
网址
https://doi.org/10.1145/3699597
AI链接 acm.orgdoi.org
DOI
10.1145/3699597 doi
其它 期刊：ACM Transactions on Software Engineering and Methodology
作者：Jianhang Xiang; Zhipeng Gao; Lingfeng Bao; Xing Hu; J. Chen; et al
出版日期：2024-10-07
求助人
z3rofork 在 2025-07-08 16:39:21 发布自北京，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
提交工单
相关文献
  1. Adding type parameterization to the Java language
  2. Termination Analysis of Java Bytecode
  3. Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode
  4. Verifying Functional Correctness Properties at the Level of Java Bytecode
  5. Verifying and Displaying Move Smart Contract Source Code for the Sui Blockchain
  6. On bytecode slicing and aspectJ interferences
  7. Adding type parameterization to the Java language
  8. Formal specification and verification of a jvm and its bytecode verifier
  9. Formalizing non-interference for a simple bytecode language in Coq
  10. Assembly Language
　...点击展开更多...　
求助 / 应助时间线

  • 请等待求助人确认

    已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
    如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。

  • 41分钟前

    SYLH SYLH Lv1216 上传了文件

    待审核 3699597.pdf (7.46 MB)
    温馨提示：本文件中的下载单位、IP等隐私信息已被删除。如有遗漏，请 提交工单 反馈。

  • 3小时前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    16:39:23 未找到该文献，机器人已退出，请等待人工下载
    16:39:21 科研通AI机器人（英国 伦敦）收到请求，开始寻找文献
    16:39:21 已向机器人发送请求

  • 3小时前

    z3rofork z3rofork Lv11 求助人 发起了本次求助

更新
PDF的下载单位、IP信息已删除 (2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
刚刚
ckyyds完成签到 ，获得积分10
1秒前
wzx发布了新的文献求助10
2秒前
完美世界的应助被澡雪采纳，获得10
2秒前
星辰大海的应助被烛光采纳，获得30
3秒前
dongdong发布了新的文献求助10
3秒前
Dallas发布了新的文献求助10
3秒前
4秒前
旺仔Mario发布了新的文献求助10
4秒前
4秒前
啷个里个洋完成签到，获得积分20
7秒前
Rondab的应助被刘浩然采纳，获得10
8秒前
柳叶洋完成签到，获得积分10
8秒前
scsc发布了新的文献求助10
9秒前
9秒前
12秒前
redking发布了新的文献求助10
12秒前
脑洞疼的应助被FunHigh采纳，获得10
12秒前
lijiaxin的应助被yeahsawyou采纳，获得10
14秒前
17秒前
18秒前
18秒前
xiaoman完成签到，获得积分10
21秒前
21秒前
彭于晏的应助被科研通管家采纳，获得10
21秒前
深情安青的应助被科研通管家采纳，获得30
21秒前
科研通AI2S的应助被科研通管家采纳，获得10
21秒前
Hello的应助被科研通管家采纳，获得10
22秒前
科研通AI2S的应助被科研通管家采纳，获得10
22秒前
小奕的应助被科研通管家采纳，获得20
22秒前
科研通AI2S的应助被科研通管家采纳，获得10
22秒前
传奇3的应助被科研通管家采纳，获得10
22秒前
22秒前
22秒前
22秒前
22秒前
Jasper的应助被lyc45491314采纳，获得10
23秒前
英姑的应助被咚咚采纳，获得10
23秒前
共享精神的应助被大方的依霜采纳，获得10
24秒前
思源的应助被靖哥哥采纳，获得10
24秒前
高分求助中
A new approach to the extrapolation of accelerated life test data 1000
Picture Books with Same-sex Parented Families: Unintentional Censorship 700
ACSM’s Guidelines for Exercise Testing and Prescription, 12th edition 500
Nucleophilic substitution in azasydnone-modified dinitroanisoles 500
不知道标题是什么 500
Indomethacinのヒトにおける経皮吸収 400
Effective Learning and Mental Wellbeing 400
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号，转发送积分 3975836
求助须知：如何正确求助？哪些是违规求助？ 3520174
关于积分的说明 11201364
捐赠科研通 3256576
什么是DOI，文献DOI怎么找？ 1798362
邀请新用户注册赠送积分活动 877539
科研通“疑难数据库（出版商）”最低求助积分说明 806426
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通