Matches in SemOpenAlex for { <https://semopenalex.org/work/W2182185309> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2182185309 abstract "Proof planning is a knowledge-based automated theorem proving t~hnlque. It has been applied to a number of theorem-proving domains, for example: mathematical induction (Bundy et al.1991), and hardware verification (Cantu et a/.1996) (to pick two of the many). In the domain of program synthesis, it has been used to automate the synthesis of logic (Kraan et a/.1993a, Kraan et al.1993b, Basin et al.1993, Kraan 1994, Wiggins 1994, Lacey et a/.2000, Lacey 1999), functional (Armando et al.1999, Armando et a/.1998, Smaill & Green 1996, Richardson 1995), and imperative (Stark & Ireland 1999) programs. Program synthesis is difficult, and its automation is a good demonstration of the power and potential of proof planning. In this paper, we survey previous work on applying proof planning to program synthesis. This survey is not necessarily exhaustive -we have inevitably inadvertently overlooked a paper or two. Due to space considerations we completely omit any comparison with previous or other related non-proof planning synthesis research. In the following sections we first say a few words about proof planning, then summarise previous work applying proof planning to program synthesis, paying particular attention to the following: specification language and synthesis mechanism, language of derived programs, domain, platform, and level of automation. We contemplate the successes and difficulties of the different approaches, and speculate on directions for further research." @default.
- W2182185309 created "2016-06-24" @default.
- W2182185309 creator A5021844660 @default.
- W2182185309 date "2002-01-01" @default.
- W2182185309 modified "2023-09-27" @default.
- W2182185309 title "Proof Planning and Program Synthesis: a Survey" @default.
- W2182185309 cites W1552605086 @default.
- W2182185309 cites W1555093324 @default.
- W2182185309 cites W1555878237 @default.
- W2182185309 cites W1570611940 @default.
- W2182185309 cites W1589439023 @default.
- W2182185309 cites W1590791006 @default.
- W2182185309 cites W1603144865 @default.
- W2182185309 cites W1607142601 @default.
- W2182185309 cites W1609818948 @default.
- W2182185309 cites W1940796042 @default.
- W2182185309 cites W1970800522 @default.
- W2182185309 cites W2034500240 @default.
- W2182185309 cites W2067540169 @default.
- W2182185309 cites W2092690557 @default.
- W2182185309 cites W2102759280 @default.
- W2182185309 cites W2106718208 @default.
- W2182185309 cites W2107634101 @default.
- W2182185309 cites W2110434434 @default.
- W2182185309 cites W2129466151 @default.
- W2182185309 cites W2129600058 @default.
- W2182185309 cites W2166343916 @default.
- W2182185309 cites W2168951609 @default.
- W2182185309 cites W2499354155 @default.
- W2182185309 cites W2914096033 @default.
- W2182185309 cites W78736994 @default.
- W2182185309 hasPublicationYear "2002" @default.
- W2182185309 type Work @default.
- W2182185309 sameAs 2182185309 @default.
- W2182185309 citedByCount "0" @default.
- W2182185309 crossrefType "journal-article" @default.
- W2182185309 hasAuthorship W2182185309A5021844660 @default.
- W2182185309 hasConcept C111919701 @default.
- W2182185309 hasConcept C11413529 @default.
- W2182185309 hasConcept C115901376 @default.
- W2182185309 hasConcept C115903868 @default.
- W2182185309 hasConcept C124978682 @default.
- W2182185309 hasConcept C127413603 @default.
- W2182185309 hasConcept C134306372 @default.
- W2182185309 hasConcept C199360897 @default.
- W2182185309 hasConcept C206880738 @default.
- W2182185309 hasConcept C2776937632 @default.
- W2182185309 hasConcept C33923547 @default.
- W2182185309 hasConcept C36503486 @default.
- W2182185309 hasConcept C41008148 @default.
- W2182185309 hasConcept C78519656 @default.
- W2182185309 hasConceptScore W2182185309C111919701 @default.
- W2182185309 hasConceptScore W2182185309C11413529 @default.
- W2182185309 hasConceptScore W2182185309C115901376 @default.
- W2182185309 hasConceptScore W2182185309C115903868 @default.
- W2182185309 hasConceptScore W2182185309C124978682 @default.
- W2182185309 hasConceptScore W2182185309C127413603 @default.
- W2182185309 hasConceptScore W2182185309C134306372 @default.
- W2182185309 hasConceptScore W2182185309C199360897 @default.
- W2182185309 hasConceptScore W2182185309C206880738 @default.
- W2182185309 hasConceptScore W2182185309C2776937632 @default.
- W2182185309 hasConceptScore W2182185309C33923547 @default.
- W2182185309 hasConceptScore W2182185309C36503486 @default.
- W2182185309 hasConceptScore W2182185309C41008148 @default.
- W2182185309 hasConceptScore W2182185309C78519656 @default.
- W2182185309 hasLocation W21821853091 @default.
- W2182185309 hasOpenAccess W2182185309 @default.
- W2182185309 hasPrimaryLocation W21821853091 @default.
- W2182185309 hasRelatedWork W109868556 @default.
- W2182185309 hasRelatedWork W1500435456 @default.
- W2182185309 hasRelatedWork W1515127919 @default.
- W2182185309 hasRelatedWork W1528431394 @default.
- W2182185309 hasRelatedWork W1548345516 @default.
- W2182185309 hasRelatedWork W1573627012 @default.
- W2182185309 hasRelatedWork W1574935479 @default.
- W2182185309 hasRelatedWork W2063535080 @default.
- W2182185309 hasRelatedWork W2096282101 @default.
- W2182185309 hasRelatedWork W2131762195 @default.
- W2182185309 hasRelatedWork W2182776029 @default.
- W2182185309 hasRelatedWork W2263677784 @default.
- W2182185309 hasRelatedWork W2293904988 @default.
- W2182185309 hasRelatedWork W2336920144 @default.
- W2182185309 hasRelatedWork W2345527843 @default.
- W2182185309 hasRelatedWork W2412632922 @default.
- W2182185309 hasRelatedWork W2626744392 @default.
- W2182185309 hasRelatedWork W2951819004 @default.
- W2182185309 hasRelatedWork W2971260699 @default.
- W2182185309 hasRelatedWork W3143722652 @default.
- W2182185309 isParatext "false" @default.
- W2182185309 isRetracted "false" @default.
- W2182185309 magId "2182185309" @default.
- W2182185309 workType "article" @default.