Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130544025> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2130544025 abstract "Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of correct programs. In this paper, we describe an integration of both methods which combines their complementary benefits and alleviates some of their drawbacks. The core of our integration is an algorithm which automatically extracts queries from the synthesis proof state and submits them to a specialized retrieval system. Retrieved components are then used to close open subgoals in the proof. We use a higher-order framework for synthesis in which higher-order meta-variables are used to represent program fragments still to be synthesized. Hence, the introduction of a new meta-variable is an attempt to synthesize a new fragment and so highlights a possible reuse step. This observation allows us to invoke retrieval only after a substantial change rather than at every proof step and prevents overloading the retrieval mechanism. Our integration raises the granularity level of synthesis by avoiding a substantial number of proof steps. It also provides a framework for adapting near-miss components in the case that an exact match cannot be retrieved." @default.
- W2130544025 created "2016-06-24" @default.
- W2130544025 creator A5028391851 @default.
- W2130544025 creator A5082741874 @default.
- W2130544025 date "2003-01-20" @default.
- W2130544025 modified "2023-09-28" @default.
- W2130544025 title "An integration of deductive retrieval into deductive synthesis" @default.
- W2130544025 cites W1562833547 @default.
- W2130544025 cites W1572680882 @default.
- W2130544025 cites W1580634617 @default.
- W2130544025 cites W1586167239 @default.
- W2130544025 cites W1598521088 @default.
- W2130544025 cites W1603641306 @default.
- W2130544025 cites W2012436850 @default.
- W2130544025 cites W2045323411 @default.
- W2130544025 cites W2046489718 @default.
- W2130544025 cites W2088350978 @default.
- W2130544025 cites W2113352466 @default.
- W2130544025 cites W2114691629 @default.
- W2130544025 cites W2120933861 @default.
- W2130544025 cites W2124764481 @default.
- W2130544025 cites W2140922128 @default.
- W2130544025 cites W2168951609 @default.
- W2130544025 cites W2171339374 @default.
- W2130544025 doi "https://doi.org/10.1109/ase.1999.802092" @default.
- W2130544025 hasPublicationYear "2003" @default.
- W2130544025 type Work @default.
- W2130544025 sameAs 2130544025 @default.
- W2130544025 citedByCount "12" @default.
- W2130544025 crossrefType "proceedings-article" @default.
- W2130544025 hasAuthorship W2130544025A5028391851 @default.
- W2130544025 hasAuthorship W2130544025A5082741874 @default.
- W2130544025 hasConcept C111919701 @default.
- W2130544025 hasConcept C124978682 @default.
- W2130544025 hasConcept C134306372 @default.
- W2130544025 hasConcept C177774035 @default.
- W2130544025 hasConcept C182365436 @default.
- W2130544025 hasConcept C18903297 @default.
- W2130544025 hasConcept C199360897 @default.
- W2130544025 hasConcept C206588197 @default.
- W2130544025 hasConcept C206880738 @default.
- W2130544025 hasConcept C23123220 @default.
- W2130544025 hasConcept C2776235265 @default.
- W2130544025 hasConcept C2776937632 @default.
- W2130544025 hasConcept C2777502361 @default.
- W2130544025 hasConcept C33923547 @default.
- W2130544025 hasConcept C41008148 @default.
- W2130544025 hasConcept C80444323 @default.
- W2130544025 hasConcept C86803240 @default.
- W2130544025 hasConceptScore W2130544025C111919701 @default.
- W2130544025 hasConceptScore W2130544025C124978682 @default.
- W2130544025 hasConceptScore W2130544025C134306372 @default.
- W2130544025 hasConceptScore W2130544025C177774035 @default.
- W2130544025 hasConceptScore W2130544025C182365436 @default.
- W2130544025 hasConceptScore W2130544025C18903297 @default.
- W2130544025 hasConceptScore W2130544025C199360897 @default.
- W2130544025 hasConceptScore W2130544025C206588197 @default.
- W2130544025 hasConceptScore W2130544025C206880738 @default.
- W2130544025 hasConceptScore W2130544025C23123220 @default.
- W2130544025 hasConceptScore W2130544025C2776235265 @default.
- W2130544025 hasConceptScore W2130544025C2776937632 @default.
- W2130544025 hasConceptScore W2130544025C2777502361 @default.
- W2130544025 hasConceptScore W2130544025C33923547 @default.
- W2130544025 hasConceptScore W2130544025C41008148 @default.
- W2130544025 hasConceptScore W2130544025C80444323 @default.
- W2130544025 hasConceptScore W2130544025C86803240 @default.
- W2130544025 hasLocation W21305440251 @default.
- W2130544025 hasOpenAccess W2130544025 @default.
- W2130544025 hasPrimaryLocation W21305440251 @default.
- W2130544025 hasRelatedWork W115626384 @default.
- W2130544025 hasRelatedWork W1504218979 @default.
- W2130544025 hasRelatedWork W1536852860 @default.
- W2130544025 hasRelatedWork W1580634617 @default.
- W2130544025 hasRelatedWork W165677687 @default.
- W2130544025 hasRelatedWork W1850639582 @default.
- W2130544025 hasRelatedWork W2008390401 @default.
- W2130544025 hasRelatedWork W2019515642 @default.
- W2130544025 hasRelatedWork W2057508107 @default.
- W2130544025 hasRelatedWork W2082968715 @default.
- W2130544025 hasRelatedWork W2100264125 @default.
- W2130544025 hasRelatedWork W2113352466 @default.
- W2130544025 hasRelatedWork W2114952411 @default.
- W2130544025 hasRelatedWork W2118210775 @default.
- W2130544025 hasRelatedWork W2121536438 @default.
- W2130544025 hasRelatedWork W2128601080 @default.
- W2130544025 hasRelatedWork W2167108874 @default.
- W2130544025 hasRelatedWork W3195727415 @default.
- W2130544025 hasRelatedWork W3213399018 @default.
- W2130544025 hasRelatedWork W91169701 @default.
- W2130544025 isParatext "false" @default.
- W2130544025 isRetracted "false" @default.
- W2130544025 magId "2130544025" @default.
- W2130544025 workType "article" @default.