| Presentation | 1994/3/4 C program analysis tool based on programing knowledge Hideki Hara, Kenji Sugawara, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In this paper,a prototype of a reverse CASE tool for understanding functionality of program code modules developed by C language is demonstrated.The concept of program understanding depends on a software process in which the code module was developed and is defined by translation of the domain knowledge between sucessive processes.Based on the concept,a reverse process model in which logical specification of the objective module is abstracted from the program code is defined.The knowledge on C grammer,programming technique,algorithm and abstract data is implemented using knowledge representation language such as the production model and the frame model.Finally,a framework of the prototype is illustrated. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | program understanding / knowledge base |
| Paper # | AI93-85,KBSE93-52 |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 1994/3/4(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | C program analysis tool based on programing knowledge |
| Sub Title (in English) | |
| Keyword(1) | program understanding |
| Keyword(2) | knowledge base |
| 1st Author's Name | Hideki Hara |
| 1st Author's Affiliation | Department of Information Engineering,Chiba Institute of Technology() |
| 2nd Author's Name | Kenji Sugawara |
| 2nd Author's Affiliation | Department of Information Engineering,Chiba Institute of Technology |
| Date | 1994/3/4 |
| Paper # | AI93-85,KBSE93-52 |
| Volume (vol) | vol.93 |
| Number (no) | 493 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |