Matches in SemOpenAlex for { <https://semopenalex.org/work/W1573819559> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1573819559 abstract "Program synthesis is a complex task comprised of many interacting subactivities. In fact, much of the difficulty of producing computer programs can be attributed to an absence of mechanisms for managing the developing computer program. This research identifies and examines the role of a programmer interacting with a computer-naive user. A computer program that models the programmer's role during the program development, called the Interactive Program Synthesizer (IPS), has been implemented.This research focuses on a style of programming called the client-consultant paradigm, in which a domain expert (the client) and an adaptable programmer (the consultant) cooperatively interact to produce a program. IPS models the role of the consultant during the program synthesis. The system's intelligence is characterized by its ability to use information provided by a human user to acquire and incorporate an internal model of the problem domain.IPS is based on four principles. First, the human IPS user provides the domain specific problem solving expertise. IPS's programming knowledge corresponds to general programming knowledge and is coupled with the ability to interpret the user's responses. Second, a program specification is an interactive process during which partial program specifications may be modified, and later specifications may interact with previously stated goals. IPS builds a flexible model of the evolving program and modifies this model during the interactive session. Third, IPS interacts with a naive user in a natural model and provides feedback about the evolving program to the user. IPS adopts a menu-driven specification technique. The user selects a classification of the current subgoal from a set of descriptions of particular programming types that best describes the goal. The user's terminal displays each partially completed goal or description in a separate window and presents a visual representation of the developing program. Fourth, IPS continually attempts to classify the user's current focus into a taxonomy of programming knowledge corresponds to the categories of programs that IPS can produce. Each alternative selection or classification query posed to the user is an attempt to discriminate among a set of possible programs that fulfills the current description of the problem." @default.
- W1573819559 created "2016-06-24" @default.
- W1573819559 creator A5023950333 @default.
- W1573819559 date "1982-01-01" @default.
- W1573819559 modified "2023-09-27" @default.
- W1573819559 title "Computer aided program synthesis" @default.
- W1573819559 hasPublicationYear "1982" @default.
- W1573819559 type Work @default.
- W1573819559 sameAs 1573819559 @default.
- W1573819559 citedByCount "1" @default.
- W1573819559 crossrefType "journal-article" @default.
- W1573819559 hasAuthorship W1573819559A5023950333 @default.
- W1573819559 hasConcept C107457646 @default.
- W1573819559 hasConcept C115903868 @default.
- W1573819559 hasConcept C134306372 @default.
- W1573819559 hasConcept C136764020 @default.
- W1573819559 hasConcept C199360897 @default.
- W1573819559 hasConcept C2776937632 @default.
- W1573819559 hasConcept C2778514511 @default.
- W1573819559 hasConcept C2779182362 @default.
- W1573819559 hasConcept C33923547 @default.
- W1573819559 hasConcept C36503486 @default.
- W1573819559 hasConcept C41008148 @default.
- W1573819559 hasConcept C98045186 @default.
- W1573819559 hasConceptScore W1573819559C107457646 @default.
- W1573819559 hasConceptScore W1573819559C115903868 @default.
- W1573819559 hasConceptScore W1573819559C134306372 @default.
- W1573819559 hasConceptScore W1573819559C136764020 @default.
- W1573819559 hasConceptScore W1573819559C199360897 @default.
- W1573819559 hasConceptScore W1573819559C2776937632 @default.
- W1573819559 hasConceptScore W1573819559C2778514511 @default.
- W1573819559 hasConceptScore W1573819559C2779182362 @default.
- W1573819559 hasConceptScore W1573819559C33923547 @default.
- W1573819559 hasConceptScore W1573819559C36503486 @default.
- W1573819559 hasConceptScore W1573819559C41008148 @default.
- W1573819559 hasConceptScore W1573819559C98045186 @default.
- W1573819559 hasLocation W15738195591 @default.
- W1573819559 hasOpenAccess W1573819559 @default.
- W1573819559 hasPrimaryLocation W15738195591 @default.
- W1573819559 hasRelatedWork W1488986759 @default.
- W1573819559 hasRelatedWork W1539808536 @default.
- W1573819559 hasRelatedWork W1988930050 @default.
- W1573819559 hasRelatedWork W2012991952 @default.
- W1573819559 hasRelatedWork W2014906831 @default.
- W1573819559 hasRelatedWork W2039504157 @default.
- W1573819559 hasRelatedWork W2046802142 @default.
- W1573819559 hasRelatedWork W2090699732 @default.
- W1573819559 hasRelatedWork W2139230860 @default.
- W1573819559 hasRelatedWork W2152442543 @default.
- W1573819559 hasRelatedWork W2159966597 @default.
- W1573819559 hasRelatedWork W2164070490 @default.
- W1573819559 hasRelatedWork W2170253305 @default.
- W1573819559 hasRelatedWork W2504612940 @default.
- W1573819559 hasRelatedWork W2652374878 @default.
- W1573819559 hasRelatedWork W26593213 @default.
- W1573819559 hasRelatedWork W71560345 @default.
- W1573819559 hasRelatedWork W1517423843 @default.
- W1573819559 hasRelatedWork W2162621508 @default.
- W1573819559 hasRelatedWork W225380036 @default.
- W1573819559 isParatext "false" @default.
- W1573819559 isRetracted "false" @default.
- W1573819559 magId "1573819559" @default.
- W1573819559 workType "article" @default.