| Presentation | 2018-01-25 A Code Completion Method Using Automated Theorem Proving Ryohei Koike, Kouichi Ono, Yoshiaki Fukazawa, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Code completion is one of the techniques for making software development efficient. Code completion can complete the missing part of the source code automatically, so users can implement by selecting one of the recommended candidates. However, when users work on environment with existing code completion techniques, they might select incorrect candidates, since the recommendation would include incorrect codes. In this case, they have to modify the code or to select another one from the candidates. In this paper, we propose a new code completion method incorporating theorem proving technique. In this method, code search is performed in consideration of pre-condition / post-condition given as the specification of the code, and the theorem proving is used to narrow down the candidates by verifying the specification. By using this method, users can get the correct code that satisfies a given specification, so users can develop software smoothly and reduce the risk of selecting incorrect codes. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | code completion / code snippet / JML annotation / automated theorem proving |
| Paper # | KBSE2017-33 |
| Date of Issue | 2018-01-18 (KBSE) |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2018/1/25(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Kikai-Shinko-Kaikan Bldg. |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Shigeo Kaneda(Doshisha Univ.) |
| Vice Chair | Fumihiro Kumeno(Nippon Inst. of Tech.) |
| Secretary | Fumihiro Kumeno(Kanagawa Inst. of Tech.) |
| Assistant | Takuya Saruwatari(NTT) / Kosaku Kimura(Fujitsu labs.) |
| Paper Information | |
| Registration To | Technical Committee on Knowledge-Based Software Engineering |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Code Completion Method Using Automated Theorem Proving |
| Sub Title (in English) | |
| Keyword(1) | code completion |
| Keyword(2) | code snippet |
| Keyword(3) | JML annotation |
| Keyword(4) | automated theorem proving |
| 1st Author's Name | Ryohei Koike |
| 1st Author's Affiliation | Waseda University(Waseda Univ.) |
| 2nd Author's Name | Kouichi Ono |
| 2nd Author's Affiliation | IBM Japan(IBM Japan) |
| 3rd Author's Name | Yoshiaki Fukazawa |
| 3rd Author's Affiliation | Waseda University(Waseda Univ.) |
| Date | 2018-01-25 |
| Paper # | KBSE2017-33 |
| Volume (vol) | vol.117 |
| Number (no) | KBSE-414 |
| Page | pp.pp.7-11(KBSE), |
| #Pages | 5 |
| Date of Issue | 2018-01-18 (KBSE) |