Matches in SemOpenAlex for { <https://semopenalex.org/work/W989845945> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W989845945 endingPage "233" @default.
- W989845945 startingPage "217" @default.
- W989845945 abstract "We present an approach to program repair and its application to programs with recursive functions over unbounded data types. Our approach formulates program repair in the framework of deductive synthesis that uses existing program structure as a hint to guide synthesis. We introduce a new specification construct for symbolic tests. We rely on such user-specified tests as well as automatically generated ones to localize the fault and speed up synthesis. Our implementation is able to eliminate errors within seconds from a variety of functional programs, including symbolic computation code and implementations of functional data structures. The resulting programs are formally verified by the Leon system." @default.
- W989845945 created "2016-06-24" @default.
- W989845945 creator A5008699657 @default.
- W989845945 creator A5059949134 @default.
- W989845945 creator A5089353221 @default.
- W989845945 date "2015-01-01" @default.
- W989845945 modified "2023-10-14" @default.
- W989845945 title "Deductive Program Repair" @default.
- W989845945 cites W100631053 @default.
- W989845945 cites W1480909796 @default.
- W989845945 cites W1553534714 @default.
- W989845945 cites W1560374668 @default.
- W989845945 cites W1566987880 @default.
- W989845945 cites W1657354101 @default.
- W989845945 cites W1872701416 @default.
- W989845945 cites W202802469 @default.
- W989845945 cites W2044458395 @default.
- W989845945 cites W2080911793 @default.
- W989845945 cites W2094878426 @default.
- W989845945 cites W2104220745 @default.
- W989845945 cites W2145373440 @default.
- W989845945 cites W2170224888 @default.
- W989845945 cites W2296178404 @default.
- W989845945 cites W2997049506 @default.
- W989845945 cites W3007870462 @default.
- W989845945 cites W3192343331 @default.
- W989845945 doi "https://doi.org/10.1007/978-3-319-21668-3_13" @default.
- W989845945 hasPublicationYear "2015" @default.
- W989845945 type Work @default.
- W989845945 sameAs 989845945 @default.
- W989845945 citedByCount "42" @default.
- W989845945 countsByYear W9898459452015 @default.
- W989845945 countsByYear W9898459452016 @default.
- W989845945 countsByYear W9898459452017 @default.
- W989845945 countsByYear W9898459452018 @default.
- W989845945 countsByYear W9898459452019 @default.
- W989845945 countsByYear W9898459452020 @default.
- W989845945 countsByYear W9898459452021 @default.
- W989845945 countsByYear W9898459452022 @default.
- W989845945 countsByYear W9898459452023 @default.
- W989845945 crossrefType "book-chapter" @default.
- W989845945 hasAuthorship W989845945A5008699657 @default.
- W989845945 hasAuthorship W989845945A5059949134 @default.
- W989845945 hasAuthorship W989845945A5089353221 @default.
- W989845945 hasBestOaLocation W9898459452 @default.
- W989845945 hasConcept C136197465 @default.
- W989845945 hasConcept C154945302 @default.
- W989845945 hasConcept C177264268 @default.
- W989845945 hasConcept C199360897 @default.
- W989845945 hasConcept C26713055 @default.
- W989845945 hasConcept C2776760102 @default.
- W989845945 hasConcept C2776937632 @default.
- W989845945 hasConcept C2777904410 @default.
- W989845945 hasConcept C2779639559 @default.
- W989845945 hasConcept C2780801425 @default.
- W989845945 hasConcept C41008148 @default.
- W989845945 hasConcept C45374587 @default.
- W989845945 hasConcept C80444323 @default.
- W989845945 hasConceptScore W989845945C136197465 @default.
- W989845945 hasConceptScore W989845945C154945302 @default.
- W989845945 hasConceptScore W989845945C177264268 @default.
- W989845945 hasConceptScore W989845945C199360897 @default.
- W989845945 hasConceptScore W989845945C26713055 @default.
- W989845945 hasConceptScore W989845945C2776760102 @default.
- W989845945 hasConceptScore W989845945C2776937632 @default.
- W989845945 hasConceptScore W989845945C2777904410 @default.
- W989845945 hasConceptScore W989845945C2779639559 @default.
- W989845945 hasConceptScore W989845945C2780801425 @default.
- W989845945 hasConceptScore W989845945C41008148 @default.
- W989845945 hasConceptScore W989845945C45374587 @default.
- W989845945 hasConceptScore W989845945C80444323 @default.
- W989845945 hasLocation W9898459451 @default.
- W989845945 hasLocation W9898459452 @default.
- W989845945 hasLocation W9898459453 @default.
- W989845945 hasOpenAccess W989845945 @default.
- W989845945 hasPrimaryLocation W9898459451 @default.
- W989845945 hasRelatedWork W1485738864 @default.
- W989845945 hasRelatedWork W1504651774 @default.
- W989845945 hasRelatedWork W1554764448 @default.
- W989845945 hasRelatedWork W1565501066 @default.
- W989845945 hasRelatedWork W1984757784 @default.
- W989845945 hasRelatedWork W2083338789 @default.
- W989845945 hasRelatedWork W2384847609 @default.
- W989845945 hasRelatedWork W2748872428 @default.
- W989845945 hasRelatedWork W2808750505 @default.
- W989845945 hasRelatedWork W2899100898 @default.
- W989845945 isParatext "false" @default.
- W989845945 isRetracted "false" @default.
- W989845945 magId "989845945" @default.
- W989845945 workType "book-chapter" @default.