Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The Planner Project is constructing a Programming Apprentice to assist in knowledge based programming.  would like to provide an environment which has substantial knowledge of the semantic domain for which the programs are being written, and knowledge of the purposes that the programs are supposed to satisfy. Further,  would like to make it easy for the programmer to communicate the knowledge about the program to the Apprentice. The Apprentice is to aid in establishing and maintaining consistency of specifications, validating that modules meet their specifications, ansring questions about behavioral dependencies beten modules, and analyzing the implications of perturbations in modules and their specifications.#R##N##R##N#A tenet of the apprentice project is that programming is a multi-level activity: as ll as writing code, programmers communicate in terms of comments and models. Our goal is to elucidate and formalize some of these interactions. The first level of description  have attacked is the level of abstract descriptions of what programs do, rather than how they do it. The contracts and intentions discussed in this paper are an attempt to embody this kind of knowledge in a formal and yet intuitive and useful way. A process known as meta-evaluation is presented which can justify why a program fulfills its contract. Further research is being carried out into the role of models, background knowledge, and commentary relating these different levels of description.#R##N##R##N#This work is presented using Actors, a semantic concept in which no active process is ever allod to treat anything as an object; instead a polite request must be extended to accomplish what the activator desires.
['Brian Cantwell Smith', 'Carl Hewitt']
I am writing a research paper on a idea Towards a Programming Apprentice
[{"from": "human", "value": "I am writing a research paper on a idea Towards a Programming Apprentice"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The Planner Project is constructing a Programming Apprentice to assist in knowledge based programming.  would like to provide an environment which has substantial knowledge of the semantic domain for which the programs are being written, and knowledge of the purposes that the programs are supposed to satisfy. Further,  would like to make it easy for the programmer to communicate the knowledge about the program to the Apprentice. The Apprentice is to aid in establishing and maintaining consistency of specifications, validating that modules meet their specifications, ansring questions about behavioral dependencies beten modules, and analyzing the implications of perturbations in modules and their specifications.#R##N##R##N#A tenet of the apprentice project is that programming is a multi-level activity: as ll as writing code, programmers communicate in terms of comments and models. Our goal is to elucidate and formalize some of these interactions. The first level of description  have attacked is the level of abstract descriptions of what programs do, rather than how they do it. The contracts and intentions discussed in this paper are an attempt to embody this kind of knowledge in a formal and yet intuitive and useful way. A process known as meta-evaluation is presented which can justify why a program fulfills its contract. Further research is being carried out into the role of models, background knowledge, and commentary relating these different levels of description.#R##N##R##N#This work is presented using Actors, a semantic concept in which no active process is ever allod to treat anything as an object; instead a polite request must be extended to accomplish what the activator desires."}]