Matches in SemOpenAlex for { <https://semopenalex.org/work/W2496618543> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2496618543 abstract "The motivation behind analyzing consistency of execution traces with desired output in Chap. 6 was to identify and promote the programs that contain prospectively useful subprograms. The approach described in this chapter generalizes the trace consistency method in two respects. Firstly, we seek here for a more general relatedness between the intermediate execution states and the desired output, rather than for information-theoretic consistency. Secondly, while evaluation in the trace consistency method depends on a single stage of program execution that maximizes consistency (captured in a particular column of an execution record (6.4)), the evaluation functions proposed here depend on the entire execution record. In this way, the approach presented in this chapter, originally proposed in [101] and then extended in [96], looks for patterns in program behaviors that seem relevant for a given program synthesis task." @default.
- W2496618543 created "2016-08-23" @default.
- W2496618543 creator A5034406933 @default.
- W2496618543 date "2015-12-16" @default.
- W2496618543 modified "2023-09-23" @default.
- W2496618543 title "Pattern-guided program synthesis" @default.
- W2496618543 doi "https://doi.org/10.1007/978-3-319-27565-9_7" @default.
- W2496618543 hasPublicationYear "2015" @default.
- W2496618543 type Work @default.
- W2496618543 sameAs 2496618543 @default.
- W2496618543 citedByCount "0" @default.
- W2496618543 crossrefType "book-chapter" @default.
- W2496618543 hasAuthorship W2496618543A5034406933 @default.
- W2496618543 hasConcept C120314980 @default.
- W2496618543 hasConcept C127413603 @default.
- W2496618543 hasConcept C138885662 @default.
- W2496618543 hasConcept C154945302 @default.
- W2496618543 hasConcept C199360897 @default.
- W2496618543 hasConcept C201995342 @default.
- W2496618543 hasConcept C2776436953 @default.
- W2496618543 hasConcept C2780451532 @default.
- W2496618543 hasConcept C37279795 @default.
- W2496618543 hasConcept C41008148 @default.
- W2496618543 hasConcept C41895202 @default.
- W2496618543 hasConcept C75291252 @default.
- W2496618543 hasConcept C80444323 @default.
- W2496618543 hasConcept C82029504 @default.
- W2496618543 hasConcept C93361087 @default.
- W2496618543 hasConceptScore W2496618543C120314980 @default.
- W2496618543 hasConceptScore W2496618543C127413603 @default.
- W2496618543 hasConceptScore W2496618543C138885662 @default.
- W2496618543 hasConceptScore W2496618543C154945302 @default.
- W2496618543 hasConceptScore W2496618543C199360897 @default.
- W2496618543 hasConceptScore W2496618543C201995342 @default.
- W2496618543 hasConceptScore W2496618543C2776436953 @default.
- W2496618543 hasConceptScore W2496618543C2780451532 @default.
- W2496618543 hasConceptScore W2496618543C37279795 @default.
- W2496618543 hasConceptScore W2496618543C41008148 @default.
- W2496618543 hasConceptScore W2496618543C41895202 @default.
- W2496618543 hasConceptScore W2496618543C75291252 @default.
- W2496618543 hasConceptScore W2496618543C80444323 @default.
- W2496618543 hasConceptScore W2496618543C82029504 @default.
- W2496618543 hasConceptScore W2496618543C93361087 @default.
- W2496618543 hasLocation W24966185431 @default.
- W2496618543 hasOpenAccess W2496618543 @default.
- W2496618543 hasPrimaryLocation W24966185431 @default.
- W2496618543 hasRelatedWork W1493594192 @default.
- W2496618543 hasRelatedWork W1510824538 @default.
- W2496618543 hasRelatedWork W1593676372 @default.
- W2496618543 hasRelatedWork W1594201038 @default.
- W2496618543 hasRelatedWork W1973060689 @default.
- W2496618543 hasRelatedWork W2006146889 @default.
- W2496618543 hasRelatedWork W2061951532 @default.
- W2496618543 hasRelatedWork W2108339317 @default.
- W2496618543 hasRelatedWork W2341200045 @default.
- W2496618543 hasRelatedWork W2358338749 @default.
- W2496618543 hasRelatedWork W2604399864 @default.
- W2496618543 hasRelatedWork W2903971446 @default.
- W2496618543 hasRelatedWork W32350392 @default.
- W2496618543 hasRelatedWork W158915019 @default.
- W2496618543 hasRelatedWork W2252522871 @default.
- W2496618543 hasRelatedWork W2294363794 @default.
- W2496618543 hasRelatedWork W2734602116 @default.
- W2496618543 hasRelatedWork W2826963012 @default.
- W2496618543 hasRelatedWork W2867721463 @default.
- W2496618543 hasRelatedWork W2882065186 @default.
- W2496618543 isParatext "false" @default.
- W2496618543 isRetracted "false" @default.
- W2496618543 magId "2496618543" @default.
- W2496618543 workType "book-chapter" @default.