Matches in SemOpenAlex for { <https://semopenalex.org/work/W1568706048> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1568706048 endingPage "68" @default.
- W1568706048 startingPage "54" @default.
- W1568706048 abstract "We propose a new methodology for synthesizing correct functional logic programs. We aim to create an integrated development environment in which it is possible to debug a program and correct it automatically. We start from a declarative diagnoser that we have developed previously which allows us to identify wrong program rules w.r.t. an intended specification. Then a bug-correction, program synthesis methodology tries to correct the erroneous components of the wrong code. We propose a hybrid, top-down (unfolding-based) as well as bottom-up (induction-based), approach for the automatic correction of functional logic programs which is driven by a set of evidence examples which are automatically produced as an outcome by the diagnoser. The resulting program is proven to be correct and complete w.r.t. the considered example sets. Finally, we also provide a prototypical implementation which we use for an experimental evaluation of our system." @default.
- W1568706048 created "2016-06-24" @default.
- W1568706048 creator A5020998049 @default.
- W1568706048 creator A5033696911 @default.
- W1568706048 creator A5053216941 @default.
- W1568706048 creator A5073984627 @default.
- W1568706048 date "2003-01-01" @default.
- W1568706048 modified "2023-10-15" @default.
- W1568706048 title "Correction of Functional Logic Programs" @default.
- W1568706048 cites W1517456004 @default.
- W1568706048 cites W1519330170 @default.
- W1568706048 cites W1539298593 @default.
- W1568706048 cites W1567856068 @default.
- W1568706048 cites W1607638534 @default.
- W1568706048 cites W1994272628 @default.
- W1568706048 cites W2015788118 @default.
- W1568706048 cites W2026039894 @default.
- W1568706048 cites W2043100293 @default.
- W1568706048 cites W2053719172 @default.
- W1568706048 cites W2059799630 @default.
- W1568706048 cites W2088747311 @default.
- W1568706048 cites W2089111669 @default.
- W1568706048 cites W2106105719 @default.
- W1568706048 cites W4210897223 @default.
- W1568706048 cites W4230919050 @default.
- W1568706048 doi "https://doi.org/10.1007/3-540-36575-3_5" @default.
- W1568706048 hasPublicationYear "2003" @default.
- W1568706048 type Work @default.
- W1568706048 sameAs 1568706048 @default.
- W1568706048 citedByCount "12" @default.
- W1568706048 crossrefType "book-chapter" @default.
- W1568706048 hasAuthorship W1568706048A5020998049 @default.
- W1568706048 hasAuthorship W1568706048A5033696911 @default.
- W1568706048 hasAuthorship W1568706048A5053216941 @default.
- W1568706048 hasAuthorship W1568706048A5073984627 @default.
- W1568706048 hasBestOaLocation W15687060481 @default.
- W1568706048 hasConcept C115903868 @default.
- W1568706048 hasConcept C168065819 @default.
- W1568706048 hasConcept C177264268 @default.
- W1568706048 hasConcept C199360897 @default.
- W1568706048 hasConcept C2776760102 @default.
- W1568706048 hasConcept C41008148 @default.
- W1568706048 hasConcept C80444323 @default.
- W1568706048 hasConceptScore W1568706048C115903868 @default.
- W1568706048 hasConceptScore W1568706048C168065819 @default.
- W1568706048 hasConceptScore W1568706048C177264268 @default.
- W1568706048 hasConceptScore W1568706048C199360897 @default.
- W1568706048 hasConceptScore W1568706048C2776760102 @default.
- W1568706048 hasConceptScore W1568706048C41008148 @default.
- W1568706048 hasConceptScore W1568706048C80444323 @default.
- W1568706048 hasLocation W15687060481 @default.
- W1568706048 hasLocation W15687060482 @default.
- W1568706048 hasOpenAccess W1568706048 @default.
- W1568706048 hasPrimaryLocation W15687060481 @default.
- W1568706048 hasRelatedWork W1498982577 @default.
- W1568706048 hasRelatedWork W1579177548 @default.
- W1568706048 hasRelatedWork W1587224678 @default.
- W1568706048 hasRelatedWork W1601811574 @default.
- W1568706048 hasRelatedWork W181842068 @default.
- W1568706048 hasRelatedWork W1965397772 @default.
- W1568706048 hasRelatedWork W2025670560 @default.
- W1568706048 hasRelatedWork W2115737686 @default.
- W1568706048 hasRelatedWork W4234604123 @default.
- W1568706048 hasRelatedWork W2523525283 @default.
- W1568706048 isParatext "false" @default.
- W1568706048 isRetracted "false" @default.
- W1568706048 magId "1568706048" @default.
- W1568706048 workType "book-chapter" @default.