Matches in SemOpenAlex for { <https://semopenalex.org/work/W4295708873> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4295708873 endingPage "100811" @default.
- W4295708873 startingPage "100811" @default.
- W4295708873 abstract "We present an imperative refinement language for the development of backtracking programs and discuss its semantic foundations. For expressivity, our language includes prospective values and preference — the latter being a variant of Nelson's biased choice that backtracks from infeasibility of a continuation. Our key contribution is to examine feasibility-preserving refinement as a basis for developing backtracking programs, and several key refinement laws that enable compositional refinement in the presence of non-monotonic program combinators." @default.
- W4295708873 created "2022-09-14" @default.
- W4295708873 creator A5012075571 @default.
- W4295708873 creator A5013212370 @default.
- W4295708873 creator A5015296279 @default.
- W4295708873 creator A5029536796 @default.
- W4295708873 creator A5079250503 @default.
- W4295708873 creator A5082109015 @default.
- W4295708873 date "2023-01-01" @default.
- W4295708873 modified "2023-10-17" @default.
- W4295708873 title "bGSL: An imperative language for specification and refinement of backtracking programs" @default.
- W4295708873 cites W1967919774 @default.
- W4295708873 cites W1973316014 @default.
- W4295708873 cites W1973970906 @default.
- W4295708873 cites W1977333667 @default.
- W4295708873 cites W1998871913 @default.
- W4295708873 cites W2020584497 @default.
- W4295708873 cites W2030865387 @default.
- W4295708873 cites W2034373223 @default.
- W4295708873 cites W2066210260 @default.
- W4295708873 cites W2081945419 @default.
- W4295708873 cites W2174280477 @default.
- W4295708873 cites W2912117092 @default.
- W4295708873 cites W4233798822 @default.
- W4295708873 doi "https://doi.org/10.1016/j.jlamp.2022.100811" @default.
- W4295708873 hasPublicationYear "2023" @default.
- W4295708873 type Work @default.
- W4295708873 citedByCount "0" @default.
- W4295708873 crossrefType "journal-article" @default.
- W4295708873 hasAuthorship W4295708873A5012075571 @default.
- W4295708873 hasAuthorship W4295708873A5013212370 @default.
- W4295708873 hasAuthorship W4295708873A5015296279 @default.
- W4295708873 hasAuthorship W4295708873A5029536796 @default.
- W4295708873 hasAuthorship W4295708873A5079250503 @default.
- W4295708873 hasAuthorship W4295708873A5082109015 @default.
- W4295708873 hasConcept C115903868 @default.
- W4295708873 hasConcept C156884757 @default.
- W4295708873 hasConcept C184337299 @default.
- W4295708873 hasConcept C199360897 @default.
- W4295708873 hasConcept C26517878 @default.
- W4295708873 hasConcept C38652104 @default.
- W4295708873 hasConcept C41008148 @default.
- W4295708873 hasConcept C79678938 @default.
- W4295708873 hasConcept C80444323 @default.
- W4295708873 hasConcept C88626702 @default.
- W4295708873 hasConceptScore W4295708873C115903868 @default.
- W4295708873 hasConceptScore W4295708873C156884757 @default.
- W4295708873 hasConceptScore W4295708873C184337299 @default.
- W4295708873 hasConceptScore W4295708873C199360897 @default.
- W4295708873 hasConceptScore W4295708873C26517878 @default.
- W4295708873 hasConceptScore W4295708873C38652104 @default.
- W4295708873 hasConceptScore W4295708873C41008148 @default.
- W4295708873 hasConceptScore W4295708873C79678938 @default.
- W4295708873 hasConceptScore W4295708873C80444323 @default.
- W4295708873 hasConceptScore W4295708873C88626702 @default.
- W4295708873 hasFunder F4320311721 @default.
- W4295708873 hasFunder F4320334779 @default.
- W4295708873 hasLocation W42957088731 @default.
- W4295708873 hasOpenAccess W4295708873 @default.
- W4295708873 hasPrimaryLocation W42957088731 @default.
- W4295708873 hasRelatedWork W1562070815 @default.
- W4295708873 hasRelatedWork W1587224678 @default.
- W4295708873 hasRelatedWork W1597178555 @default.
- W4295708873 hasRelatedWork W1604665600 @default.
- W4295708873 hasRelatedWork W173919456 @default.
- W4295708873 hasRelatedWork W180465160 @default.
- W4295708873 hasRelatedWork W1852619812 @default.
- W4295708873 hasRelatedWork W2228124075 @default.
- W4295708873 hasRelatedWork W233473761 @default.
- W4295708873 hasRelatedWork W3021668409 @default.
- W4295708873 hasVolume "130" @default.
- W4295708873 isParatext "false" @default.
- W4295708873 isRetracted "false" @default.
- W4295708873 workType "article" @default.