Matches in SemOpenAlex for { <https://semopenalex.org/work/W1933733268> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1933733268 endingPage "166" @default.
- W1933733268 startingPage "152" @default.
- W1933733268 abstract "Partial deduction within Lloyd and Shepherdson's frame-work transforms different atoms of a goal independently and therefore fails to achieve a number of unfold/fold transformations. A recent framework for conjunctive partial deduction allows unfold/fold transformations by specialisation of entire conjunctions, but does not give an actual algorithm for conjunctive partial deduction, and in particular does not address control issues (e.g. how to select atoms for unfolding). Focusing on novel challenges specific to local and global control, we describe a generic algorithm for conjunctive partial deduction, refine it into a fully automatic concrete algorithm, and prove termination and correctness." @default.
- W1933733268 created "2016-06-24" @default.
- W1933733268 creator A5005660404 @default.
- W1933733268 creator A5027112594 @default.
- W1933733268 creator A5037366569 @default.
- W1933733268 creator A5037894557 @default.
- W1933733268 date "1996-01-01" @default.
- W1933733268 modified "2023-10-12" @default.
- W1933733268 title "Controlling conjunctive partial deduction" @default.
- W1933733268 cites W1493318828 @default.
- W1933733268 cites W1559076591 @default.
- W1933733268 cites W1568484765 @default.
- W1933733268 cites W1604215041 @default.
- W1933733268 cites W1988185893 @default.
- W1933733268 cites W1991589943 @default.
- W1933733268 cites W2008251703 @default.
- W1933733268 cites W2019962118 @default.
- W1933733268 cites W2020024606 @default.
- W1933733268 cites W2023299380 @default.
- W1933733268 cites W2037035101 @default.
- W1933733268 cites W2048831705 @default.
- W1933733268 cites W2070902236 @default.
- W1933733268 cites W2081484419 @default.
- W1933733268 cites W2135124683 @default.
- W1933733268 cites W2147335415 @default.
- W1933733268 cites W2208923056 @default.
- W1933733268 cites W4206370914 @default.
- W1933733268 cites W4238668709 @default.
- W1933733268 cites W4245570190 @default.
- W1933733268 cites W4252451952 @default.
- W1933733268 cites W4252968429 @default.
- W1933733268 doi "https://doi.org/10.1007/3-540-61756-6_83" @default.
- W1933733268 hasPublicationYear "1996" @default.
- W1933733268 type Work @default.
- W1933733268 sameAs 1933733268 @default.
- W1933733268 citedByCount "20" @default.
- W1933733268 countsByYear W19337332682012 @default.
- W1933733268 crossrefType "book-chapter" @default.
- W1933733268 hasAuthorship W1933733268A5005660404 @default.
- W1933733268 hasAuthorship W1933733268A5027112594 @default.
- W1933733268 hasAuthorship W1933733268A5037366569 @default.
- W1933733268 hasAuthorship W1933733268A5037894557 @default.
- W1933733268 hasConcept C33923547 @default.
- W1933733268 hasConceptScore W1933733268C33923547 @default.
- W1933733268 hasLocation W19337332681 @default.
- W1933733268 hasOpenAccess W1933733268 @default.
- W1933733268 hasPrimaryLocation W19337332681 @default.
- W1933733268 hasRelatedWork W1974891317 @default.
- W1933733268 hasRelatedWork W2007596026 @default.
- W1933733268 hasRelatedWork W2044189972 @default.
- W1933733268 hasRelatedWork W2061531152 @default.
- W1933733268 hasRelatedWork W2069964982 @default.
- W1933733268 hasRelatedWork W2313400459 @default.
- W1933733268 hasRelatedWork W2911598644 @default.
- W1933733268 hasRelatedWork W2965437270 @default.
- W1933733268 hasRelatedWork W4225152035 @default.
- W1933733268 hasRelatedWork W4245490552 @default.
- W1933733268 isParatext "false" @default.
- W1933733268 isRetracted "false" @default.
- W1933733268 magId "1933733268" @default.
- W1933733268 workType "book-chapter" @default.