Matches in SemOpenAlex for { <https://semopenalex.org/work/W2539027192> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2539027192 endingPage "495" @default.
- W2539027192 startingPage "478" @default.
- W2539027192 abstract "A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logic programs under coroutining computation rules. We define a new systematic approach to when-declarations; we introduce a class of simple, yet powerful, instantiation based computation rules which are particularly easy to manipulate and to relate with the termination of SLD-derivations. The task is then, given a logic program, to find a computation rule which allows an efficient and terminating execution of goals. We present an algorithin scheme to generate such computation rules by stepwise refinement and simulated execution. We discuss the scheme as well as a concrete algorithm and its results. The algorithm yields useful output for a relevant class of programs, including guaranteed termination for most of the programs discussed in the work on termination by Apt et. al., Bruyriooghe et. al., and Plumer." @default.
- W2539027192 created "2016-10-28" @default.
- W2539027192 creator A5055338447 @default.
- W2539027192 date "1993-01-01" @default.
- W2539027192 modified "2023-09-23" @default.
- W2539027192 title "Control Generation for Logic Programs" @default.
- W2539027192 hasPublicationYear "1993" @default.
- W2539027192 type Work @default.
- W2539027192 sameAs 2539027192 @default.
- W2539027192 citedByCount "0" @default.
- W2539027192 crossrefType "journal-article" @default.
- W2539027192 hasAuthorship W2539027192A5055338447 @default.
- W2539027192 hasConcept C128838566 @default.
- W2539027192 hasConcept C134306372 @default.
- W2539027192 hasConcept C146206909 @default.
- W2539027192 hasConcept C154945302 @default.
- W2539027192 hasConcept C162324750 @default.
- W2539027192 hasConcept C187736073 @default.
- W2539027192 hasConcept C199360897 @default.
- W2539027192 hasConcept C2777212361 @default.
- W2539027192 hasConcept C2778514511 @default.
- W2539027192 hasConcept C2780451532 @default.
- W2539027192 hasConcept C2987117450 @default.
- W2539027192 hasConcept C33923547 @default.
- W2539027192 hasConcept C34165917 @default.
- W2539027192 hasConcept C41008148 @default.
- W2539027192 hasConcept C45374587 @default.
- W2539027192 hasConcept C50033165 @default.
- W2539027192 hasConcept C77618280 @default.
- W2539027192 hasConcept C80444323 @default.
- W2539027192 hasConceptScore W2539027192C128838566 @default.
- W2539027192 hasConceptScore W2539027192C134306372 @default.
- W2539027192 hasConceptScore W2539027192C146206909 @default.
- W2539027192 hasConceptScore W2539027192C154945302 @default.
- W2539027192 hasConceptScore W2539027192C162324750 @default.
- W2539027192 hasConceptScore W2539027192C187736073 @default.
- W2539027192 hasConceptScore W2539027192C199360897 @default.
- W2539027192 hasConceptScore W2539027192C2777212361 @default.
- W2539027192 hasConceptScore W2539027192C2778514511 @default.
- W2539027192 hasConceptScore W2539027192C2780451532 @default.
- W2539027192 hasConceptScore W2539027192C2987117450 @default.
- W2539027192 hasConceptScore W2539027192C33923547 @default.
- W2539027192 hasConceptScore W2539027192C34165917 @default.
- W2539027192 hasConceptScore W2539027192C41008148 @default.
- W2539027192 hasConceptScore W2539027192C45374587 @default.
- W2539027192 hasConceptScore W2539027192C50033165 @default.
- W2539027192 hasConceptScore W2539027192C77618280 @default.
- W2539027192 hasConceptScore W2539027192C80444323 @default.
- W2539027192 hasLocation W25390271921 @default.
- W2539027192 hasOpenAccess W2539027192 @default.
- W2539027192 hasPrimaryLocation W25390271921 @default.
- W2539027192 hasRelatedWork W12807312 @default.
- W2539027192 hasRelatedWork W1430647328 @default.
- W2539027192 hasRelatedWork W1513263504 @default.
- W2539027192 hasRelatedWork W1572150856 @default.
- W2539027192 hasRelatedWork W1620024229 @default.
- W2539027192 hasRelatedWork W1965377774 @default.
- W2539027192 hasRelatedWork W1975813326 @default.
- W2539027192 hasRelatedWork W2010266648 @default.
- W2539027192 hasRelatedWork W2011380290 @default.
- W2539027192 hasRelatedWork W2112856950 @default.
- W2539027192 hasRelatedWork W2171569810 @default.
- W2539027192 hasRelatedWork W2296197518 @default.
- W2539027192 hasRelatedWork W2365330911 @default.
- W2539027192 hasRelatedWork W2805029593 @default.
- W2539027192 hasRelatedWork W2883453547 @default.
- W2539027192 hasRelatedWork W2949623342 @default.
- W2539027192 hasRelatedWork W2950808278 @default.
- W2539027192 hasRelatedWork W2964023786 @default.
- W2539027192 hasRelatedWork W3088666520 @default.
- W2539027192 hasRelatedWork W1818995930 @default.
- W2539027192 isParatext "false" @default.
- W2539027192 isRetracted "false" @default.
- W2539027192 magId "2539027192" @default.
- W2539027192 workType "article" @default.