Matches in SemOpenAlex for { <https://semopenalex.org/work/W4225708273> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W4225708273 abstract "miniKanren is a lightweight embedded language for logic and relational programming. Many of its useful features come from a distinctive search strategy, called interleaving search. However, with interleaving search conventional ways of reasoning about the complexity and performance of logical programs become irrelevant. We identify an important key component -- scheduling -- which makes the reasoning for miniKanren so different, and present a semi-automatic technique to estimate the scheduling impact via symbolic execution for a reasonably wide class of programs." @default.
- W4225708273 created "2022-05-05" @default.
- W4225708273 creator A5030396419 @default.
- W4225708273 creator A5057645222 @default.
- W4225708273 date "2022-02-17" @default.
- W4225708273 modified "2023-09-23" @default.
- W4225708273 title "Scheduling Complexity of Interleaving Search" @default.
- W4225708273 doi "https://doi.org/10.48550/arxiv.2202.08511" @default.
- W4225708273 hasPublicationYear "2022" @default.
- W4225708273 type Work @default.
- W4225708273 citedByCount "0" @default.
- W4225708273 crossrefType "posted-content" @default.
- W4225708273 hasAuthorship W4225708273A5030396419 @default.
- W4225708273 hasAuthorship W4225708273A5057645222 @default.
- W4225708273 hasBestOaLocation W42257082731 @default.
- W4225708273 hasConcept C111919701 @default.
- W4225708273 hasConcept C127413603 @default.
- W4225708273 hasConcept C128838566 @default.
- W4225708273 hasConcept C199360897 @default.
- W4225708273 hasConcept C206729178 @default.
- W4225708273 hasConcept C21547014 @default.
- W4225708273 hasConcept C28034677 @default.
- W4225708273 hasConcept C41008148 @default.
- W4225708273 hasConcept C80444323 @default.
- W4225708273 hasConceptScore W4225708273C111919701 @default.
- W4225708273 hasConceptScore W4225708273C127413603 @default.
- W4225708273 hasConceptScore W4225708273C128838566 @default.
- W4225708273 hasConceptScore W4225708273C199360897 @default.
- W4225708273 hasConceptScore W4225708273C206729178 @default.
- W4225708273 hasConceptScore W4225708273C21547014 @default.
- W4225708273 hasConceptScore W4225708273C28034677 @default.
- W4225708273 hasConceptScore W4225708273C41008148 @default.
- W4225708273 hasConceptScore W4225708273C80444323 @default.
- W4225708273 hasLocation W42257082731 @default.
- W4225708273 hasOpenAccess W4225708273 @default.
- W4225708273 hasPrimaryLocation W42257082731 @default.
- W4225708273 hasRelatedWork W1503044881 @default.
- W4225708273 hasRelatedWork W1652311832 @default.
- W4225708273 hasRelatedWork W2043941084 @default.
- W4225708273 hasRelatedWork W2135396778 @default.
- W4225708273 hasRelatedWork W2166247150 @default.
- W4225708273 hasRelatedWork W2243428364 @default.
- W4225708273 hasRelatedWork W2462453872 @default.
- W4225708273 hasRelatedWork W2901312131 @default.
- W4225708273 hasRelatedWork W3207171446 @default.
- W4225708273 hasRelatedWork W4243252198 @default.
- W4225708273 isParatext "false" @default.
- W4225708273 isRetracted "false" @default.
- W4225708273 workType "article" @default.