Matches in SemOpenAlex for { <https://semopenalex.org/work/W2509164840> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2509164840 endingPage "153" @default.
- W2509164840 startingPage "125" @default.
- W2509164840 abstract "We provide an approach to formally analyze the computational behavior of coroutines in logic programs and to compile these computations into new programs, not requiring any support for coroutines. The problem was already studied near to 30 years ago, in an analysis and transformation technique called compiling control. However, this technique had a strong ad hoc flavor: the completeness of the analysis was not well understood and its symbolic evaluation was also rather ad hoc. We show how abstract conjunctive partial deduction, introduced by Leuschel in 2004, provides an appropriate setting to redefine compiling control. We define an abstract domain and all abstract operations required by abstract conjunctive partial deduction. We prove that these concepts satisfy all the correctness conditions imposed by the framework and therefore inherit its main correctness theorem. We also show that there exist more complex coroutining examples which do not fit within abstract conjunctive partial deduction and we propose some further extensions to include them." @default.
- W2509164840 created "2016-09-16" @default.
- W2509164840 creator A5024311222 @default.
- W2509164840 creator A5049376499 @default.
- W2509164840 date "2016-08-12" @default.
- W2509164840 modified "2023-09-23" @default.
- W2509164840 title "Abstract conjunctive partial deduction for the analysis and compilation of coroutines" @default.
- W2509164840 cites W1559076591 @default.
- W2509164840 cites W1593038886 @default.
- W2509164840 cites W1964205605 @default.
- W2509164840 cites W1988185893 @default.
- W2509164840 cites W2008662807 @default.
- W2509164840 cites W2037035101 @default.
- W2509164840 cites W2056410280 @default.
- W2509164840 cites W207722629 @default.
- W2509164840 cites W2113722134 @default.
- W2509164840 cites W2137818097 @default.
- W2509164840 cites W2151036935 @default.
- W2509164840 cites W2914613462 @default.
- W2509164840 cites W3099891861 @default.
- W2509164840 cites W3106424691 @default.
- W2509164840 cites W4206370914 @default.
- W2509164840 doi "https://doi.org/10.1007/s00165-016-0389-8" @default.
- W2509164840 hasPublicationYear "2016" @default.
- W2509164840 type Work @default.
- W2509164840 sameAs 2509164840 @default.
- W2509164840 citedByCount "3" @default.
- W2509164840 countsByYear W25091648402017 @default.
- W2509164840 countsByYear W25091648402018 @default.
- W2509164840 countsByYear W25091648402019 @default.
- W2509164840 crossrefType "journal-article" @default.
- W2509164840 hasAuthorship W2509164840A5024311222 @default.
- W2509164840 hasAuthorship W2509164840A5049376499 @default.
- W2509164840 hasBestOaLocation W25091648402 @default.
- W2509164840 hasConcept C104317684 @default.
- W2509164840 hasConcept C134306372 @default.
- W2509164840 hasConcept C169590947 @default.
- W2509164840 hasConcept C17231256 @default.
- W2509164840 hasConcept C185592680 @default.
- W2509164840 hasConcept C199360897 @default.
- W2509164840 hasConcept C204241405 @default.
- W2509164840 hasConcept C206880738 @default.
- W2509164840 hasConcept C24858836 @default.
- W2509164840 hasConcept C33923547 @default.
- W2509164840 hasConcept C41008148 @default.
- W2509164840 hasConcept C45374587 @default.
- W2509164840 hasConcept C55439883 @default.
- W2509164840 hasConcept C55493867 @default.
- W2509164840 hasConcept C80444323 @default.
- W2509164840 hasConceptScore W2509164840C104317684 @default.
- W2509164840 hasConceptScore W2509164840C134306372 @default.
- W2509164840 hasConceptScore W2509164840C169590947 @default.
- W2509164840 hasConceptScore W2509164840C17231256 @default.
- W2509164840 hasConceptScore W2509164840C185592680 @default.
- W2509164840 hasConceptScore W2509164840C199360897 @default.
- W2509164840 hasConceptScore W2509164840C204241405 @default.
- W2509164840 hasConceptScore W2509164840C206880738 @default.
- W2509164840 hasConceptScore W2509164840C24858836 @default.
- W2509164840 hasConceptScore W2509164840C33923547 @default.
- W2509164840 hasConceptScore W2509164840C41008148 @default.
- W2509164840 hasConceptScore W2509164840C45374587 @default.
- W2509164840 hasConceptScore W2509164840C55439883 @default.
- W2509164840 hasConceptScore W2509164840C55493867 @default.
- W2509164840 hasConceptScore W2509164840C80444323 @default.
- W2509164840 hasFunder F4320321730 @default.
- W2509164840 hasIssue "1" @default.
- W2509164840 hasLocation W25091648401 @default.
- W2509164840 hasLocation W25091648402 @default.
- W2509164840 hasOpenAccess W2509164840 @default.
- W2509164840 hasPrimaryLocation W25091648401 @default.
- W2509164840 hasRelatedWork W1496551897 @default.
- W2509164840 hasRelatedWork W1538072621 @default.
- W2509164840 hasRelatedWork W1572892291 @default.
- W2509164840 hasRelatedWork W2000778709 @default.
- W2509164840 hasRelatedWork W2023293472 @default.
- W2509164840 hasRelatedWork W2079977998 @default.
- W2509164840 hasRelatedWork W2126815079 @default.
- W2509164840 hasRelatedWork W2134672896 @default.
- W2509164840 hasRelatedWork W335169515 @default.
- W2509164840 hasRelatedWork W2526228776 @default.
- W2509164840 hasVolume "29" @default.
- W2509164840 isParatext "false" @default.
- W2509164840 isRetracted "false" @default.
- W2509164840 magId "2509164840" @default.
- W2509164840 workType "article" @default.