Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034950356> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2034950356 startingPage "391" @default.
- W2034950356 abstract "Backtracting is a well-known technique for solving combinatorial problems. It is of interest to programming methodologists because (1) correctness of backtracking programs may be difficult to ascertain experimentally and (2) efficiency is often of paramount importance. This paper applies a programming methodology, which we call control structure abstraction, to the backtracking technique. The value of control structure abstraction in the context of correctness is that proofs of general properties of a class of programs with similar control structures are separated from proofs of specific properties of individual programs of the class. In the context of efficiency, it provides sufficient conditions for correctness of an initial program which may subsequently be improved for efficiency while preserving correctness." @default.
- W2034950356 created "2016-06-24" @default.
- W2034950356 creator A5044343318 @default.
- W2034950356 creator A5048367277 @default.
- W2034950356 date "1976-10-13" @default.
- W2034950356 modified "2023-09-25" @default.
- W2034950356 title "Control structure abstractions of the backtracking programming technique" @default.
- W2034950356 doi "https://doi.org/10.5555/800253.807709" @default.
- W2034950356 hasPublicationYear "1976" @default.
- W2034950356 type Work @default.
- W2034950356 sameAs 2034950356 @default.
- W2034950356 citedByCount "1" @default.
- W2034950356 crossrefType "proceedings-article" @default.
- W2034950356 hasAuthorship W2034950356A5044343318 @default.
- W2034950356 hasAuthorship W2034950356A5048367277 @default.
- W2034950356 hasConcept C108710211 @default.
- W2034950356 hasConcept C111472728 @default.
- W2034950356 hasConcept C124304363 @default.
- W2034950356 hasConcept C138885662 @default.
- W2034950356 hasConcept C151730666 @default.
- W2034950356 hasConcept C154945302 @default.
- W2034950356 hasConcept C156884757 @default.
- W2034950356 hasConcept C199360897 @default.
- W2034950356 hasConcept C2524010 @default.
- W2034950356 hasConcept C2777212361 @default.
- W2034950356 hasConcept C2779343474 @default.
- W2034950356 hasConcept C33923547 @default.
- W2034950356 hasConcept C41008148 @default.
- W2034950356 hasConcept C55439883 @default.
- W2034950356 hasConcept C80444323 @default.
- W2034950356 hasConcept C86803240 @default.
- W2034950356 hasConcept C98183937 @default.
- W2034950356 hasConceptScore W2034950356C108710211 @default.
- W2034950356 hasConceptScore W2034950356C111472728 @default.
- W2034950356 hasConceptScore W2034950356C124304363 @default.
- W2034950356 hasConceptScore W2034950356C138885662 @default.
- W2034950356 hasConceptScore W2034950356C151730666 @default.
- W2034950356 hasConceptScore W2034950356C154945302 @default.
- W2034950356 hasConceptScore W2034950356C156884757 @default.
- W2034950356 hasConceptScore W2034950356C199360897 @default.
- W2034950356 hasConceptScore W2034950356C2524010 @default.
- W2034950356 hasConceptScore W2034950356C2777212361 @default.
- W2034950356 hasConceptScore W2034950356C2779343474 @default.
- W2034950356 hasConceptScore W2034950356C33923547 @default.
- W2034950356 hasConceptScore W2034950356C41008148 @default.
- W2034950356 hasConceptScore W2034950356C55439883 @default.
- W2034950356 hasConceptScore W2034950356C80444323 @default.
- W2034950356 hasConceptScore W2034950356C86803240 @default.
- W2034950356 hasConceptScore W2034950356C98183937 @default.
- W2034950356 hasLocation W20349503561 @default.
- W2034950356 hasOpenAccess W2034950356 @default.
- W2034950356 hasPrimaryLocation W20349503561 @default.
- W2034950356 hasRelatedWork W1491602675 @default.
- W2034950356 hasRelatedWork W1510349982 @default.
- W2034950356 hasRelatedWork W1517417277 @default.
- W2034950356 hasRelatedWork W1532452539 @default.
- W2034950356 hasRelatedWork W163665164 @default.
- W2034950356 hasRelatedWork W1974583144 @default.
- W2034950356 hasRelatedWork W1990050510 @default.
- W2034950356 hasRelatedWork W1991405126 @default.
- W2034950356 hasRelatedWork W2044951665 @default.
- W2034950356 hasRelatedWork W2059196002 @default.
- W2034950356 hasRelatedWork W2081001149 @default.
- W2034950356 hasRelatedWork W2155062053 @default.
- W2034950356 hasRelatedWork W2242035652 @default.
- W2034950356 hasRelatedWork W2600478067 @default.
- W2034950356 hasRelatedWork W2950160789 @default.
- W2034950356 hasRelatedWork W2950335459 @default.
- W2034950356 hasRelatedWork W3011785936 @default.
- W2034950356 hasRelatedWork W793227157 @default.
- W2034950356 hasRelatedWork W11680015 @default.
- W2034950356 hasRelatedWork W2132396668 @default.
- W2034950356 isParatext "false" @default.
- W2034950356 isRetracted "false" @default.
- W2034950356 magId "2034950356" @default.
- W2034950356 workType "article" @default.