Matches in SemOpenAlex for { <https://semopenalex.org/work/W2085364607> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2085364607 endingPage "188" @default.
- W2085364607 startingPage "173" @default.
- W2085364607 abstract "The paper is devoted to assessing and motivating the central role that classical problem solving techniques can play in the development of a program synthesis system. We present a novel conceptual and methodological approach, called bidirectional synthesis, which considers the task of automatic programming as based on the cooperation between a top-down activity of problem reduction and a bottom-up activity of binding together, in a structured way, program modules. Moreover, this approach is experi-mentally supported by the development of the BIS (Bidirectional Synthesizer) system for interactive synthesis of LISP programs. The BIS system has been developed, within an ongoing research activity, on an UNIVAC1100/80 computer at the Milan Polytechnic Artificial Intelligence Project. BIS is written in LISP and is devoted to the synthesis of programs in the area of list manipulation and sorting and merging algorithms." @default.
- W2085364607 created "2016-06-24" @default.
- W2085364607 creator A5017727381 @default.
- W2085364607 creator A5026716255 @default.
- W2085364607 creator A5087080846 @default.
- W2085364607 date "1982-08-01" @default.
- W2085364607 modified "2023-10-18" @default.
- W2085364607 title "Problem solving as a basis for program synthesis: design and experimentation of the BIS system" @default.
- W2085364607 cites W1488207627 @default.
- W2085364607 cites W1490966766 @default.
- W2085364607 cites W1530827239 @default.
- W2085364607 cites W1572073643 @default.
- W2085364607 cites W1579167839 @default.
- W2085364607 cites W196393734 @default.
- W2085364607 cites W1966535250 @default.
- W2085364607 cites W1977805067 @default.
- W2085364607 cites W1983710295 @default.
- W2085364607 cites W1988651604 @default.
- W2085364607 cites W2012436850 @default.
- W2085364607 cites W2013373314 @default.
- W2085364607 cites W2023299380 @default.
- W2085364607 cites W2036125801 @default.
- W2085364607 cites W2058727463 @default.
- W2085364607 cites W2088129973 @default.
- W2085364607 cites W2101188827 @default.
- W2085364607 cites W2148817888 @default.
- W2085364607 cites W2378259225 @default.
- W2085364607 doi "https://doi.org/10.1016/s0020-7373(82)80018-7" @default.
- W2085364607 hasPublicationYear "1982" @default.
- W2085364607 type Work @default.
- W2085364607 sameAs 2085364607 @default.
- W2085364607 citedByCount "3" @default.
- W2085364607 crossrefType "journal-article" @default.
- W2085364607 hasAuthorship W2085364607A5017727381 @default.
- W2085364607 hasAuthorship W2085364607A5026716255 @default.
- W2085364607 hasAuthorship W2085364607A5087080846 @default.
- W2085364607 hasConcept C111696304 @default.
- W2085364607 hasConcept C115903868 @default.
- W2085364607 hasConcept C12426560 @default.
- W2085364607 hasConcept C127413603 @default.
- W2085364607 hasConcept C134306372 @default.
- W2085364607 hasConcept C190883126 @default.
- W2085364607 hasConcept C199360897 @default.
- W2085364607 hasConcept C201995342 @default.
- W2085364607 hasConcept C206674616 @default.
- W2085364607 hasConcept C2524010 @default.
- W2085364607 hasConcept C2776542497 @default.
- W2085364607 hasConcept C2776937632 @default.
- W2085364607 hasConcept C2779353305 @default.
- W2085364607 hasConcept C2780451532 @default.
- W2085364607 hasConcept C33923547 @default.
- W2085364607 hasConcept C41008148 @default.
- W2085364607 hasConceptScore W2085364607C111696304 @default.
- W2085364607 hasConceptScore W2085364607C115903868 @default.
- W2085364607 hasConceptScore W2085364607C12426560 @default.
- W2085364607 hasConceptScore W2085364607C127413603 @default.
- W2085364607 hasConceptScore W2085364607C134306372 @default.
- W2085364607 hasConceptScore W2085364607C190883126 @default.
- W2085364607 hasConceptScore W2085364607C199360897 @default.
- W2085364607 hasConceptScore W2085364607C201995342 @default.
- W2085364607 hasConceptScore W2085364607C206674616 @default.
- W2085364607 hasConceptScore W2085364607C2524010 @default.
- W2085364607 hasConceptScore W2085364607C2776542497 @default.
- W2085364607 hasConceptScore W2085364607C2776937632 @default.
- W2085364607 hasConceptScore W2085364607C2779353305 @default.
- W2085364607 hasConceptScore W2085364607C2780451532 @default.
- W2085364607 hasConceptScore W2085364607C33923547 @default.
- W2085364607 hasConceptScore W2085364607C41008148 @default.
- W2085364607 hasIssue "2" @default.
- W2085364607 hasLocation W20853646071 @default.
- W2085364607 hasOpenAccess W2085364607 @default.
- W2085364607 hasPrimaryLocation W20853646071 @default.
- W2085364607 hasRelatedWork W2088129973 @default.
- W2085364607 hasRelatedWork W2112962394 @default.
- W2085364607 hasRelatedWork W2138230721 @default.
- W2085364607 hasRelatedWork W2153530756 @default.
- W2085364607 hasRelatedWork W2478759912 @default.
- W2085364607 hasRelatedWork W2731875153 @default.
- W2085364607 hasRelatedWork W3082759807 @default.
- W2085364607 hasRelatedWork W3127804630 @default.
- W2085364607 hasRelatedWork W4210975004 @default.
- W2085364607 hasRelatedWork W638884614 @default.
- W2085364607 hasVolume "17" @default.
- W2085364607 isParatext "false" @default.
- W2085364607 isRetracted "false" @default.
- W2085364607 magId "2085364607" @default.
- W2085364607 workType "article" @default.