aComment-Reference-Cited by-同舟云学术

aComment

Published:2011-05-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd International Conference on Software Engineering
language:
Short-container-title:

Author:

Tan Lin¹,Zhou Yuanyuan²,Padioleau Yoann³

Affiliation:

1. University of Waterloo, Waterloo, ON, Canada

2. University of California, San Diego, La Jolla, CA, USA

3. Facebook, Inc., Palo Alto, CA, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/1985793.1985796

Reference69 articles.

1. Ghostdoc. http://submain.com/products/ghostdoc.aspx. Ghostdoc. http://submain.com/products/ghostdoc.aspx.

2. Runtime locking correctness validator. http://www.mjmwired.net/kernel/Documentation/lockdep-design.txt. Runtime locking correctness validator. http://www.mjmwired.net/kernel/Documentation/lockdep-design.txt.

3. SharC

4. PACER

Cited by 63 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?;Proceedings of the ACM on Software Engineering;2024-07-12

2. Translating meaning representations to behavioural interface specifications;Journal of Systems and Software;2024-05

3. ASKDetector: An AST-Semantic and Key Features Fusion based Code Comment Mismatch Detector;Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension;2024-04-15

4. Code Comment Inconsistency Detection Based on Confidence Learning;IEEE Transactions on Software Engineering;2024-03

5. SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11