Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385292579> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4385292579 abstract "In this short paper, we consider a form of higher-order rewriting with a call-by-value evaluation strategy so as to model call-by-value programs. We briefly present a cost-size semantics to call-by-value rewriting: a class of algebraic interpretations that map terms to tuples that bound both the reductions' cost and the size of normal forms." @default.
- W4385292579 created "2023-07-27" @default.
- W4385292579 creator A5001880661 @default.
- W4385292579 creator A5087543852 @default.
- W4385292579 date "2023-07-25" @default.
- W4385292579 modified "2023-09-26" @default.
- W4385292579 title "Complexity Analysis for Call-by-Value Higher-Order Rewriting" @default.
- W4385292579 doi "https://doi.org/10.48550/arxiv.2307.13426" @default.
- W4385292579 hasPublicationYear "2023" @default.
- W4385292579 type Work @default.
- W4385292579 citedByCount "0" @default.
- W4385292579 crossrefType "posted-content" @default.
- W4385292579 hasAuthorship W4385292579A5001880661 @default.
- W4385292579 hasAuthorship W4385292579A5087543852 @default.
- W4385292579 hasBestOaLocation W43852925791 @default.
- W4385292579 hasConcept C10138342 @default.
- W4385292579 hasConcept C118615104 @default.
- W4385292579 hasConcept C118930307 @default.
- W4385292579 hasConcept C119857082 @default.
- W4385292579 hasConcept C134306372 @default.
- W4385292579 hasConcept C154690210 @default.
- W4385292579 hasConcept C154945302 @default.
- W4385292579 hasConcept C162324750 @default.
- W4385292579 hasConcept C182306322 @default.
- W4385292579 hasConcept C184337299 @default.
- W4385292579 hasConcept C199360897 @default.
- W4385292579 hasConcept C2776291640 @default.
- W4385292579 hasConcept C2777212361 @default.
- W4385292579 hasConcept C2779729104 @default.
- W4385292579 hasConcept C33923547 @default.
- W4385292579 hasConcept C41008148 @default.
- W4385292579 hasConcept C77906462 @default.
- W4385292579 hasConcept C9376300 @default.
- W4385292579 hasConceptScore W4385292579C10138342 @default.
- W4385292579 hasConceptScore W4385292579C118615104 @default.
- W4385292579 hasConceptScore W4385292579C118930307 @default.
- W4385292579 hasConceptScore W4385292579C119857082 @default.
- W4385292579 hasConceptScore W4385292579C134306372 @default.
- W4385292579 hasConceptScore W4385292579C154690210 @default.
- W4385292579 hasConceptScore W4385292579C154945302 @default.
- W4385292579 hasConceptScore W4385292579C162324750 @default.
- W4385292579 hasConceptScore W4385292579C182306322 @default.
- W4385292579 hasConceptScore W4385292579C184337299 @default.
- W4385292579 hasConceptScore W4385292579C199360897 @default.
- W4385292579 hasConceptScore W4385292579C2776291640 @default.
- W4385292579 hasConceptScore W4385292579C2777212361 @default.
- W4385292579 hasConceptScore W4385292579C2779729104 @default.
- W4385292579 hasConceptScore W4385292579C33923547 @default.
- W4385292579 hasConceptScore W4385292579C41008148 @default.
- W4385292579 hasConceptScore W4385292579C77906462 @default.
- W4385292579 hasConceptScore W4385292579C9376300 @default.
- W4385292579 hasLocation W43852925791 @default.
- W4385292579 hasOpenAccess W4385292579 @default.
- W4385292579 hasPrimaryLocation W43852925791 @default.
- W4385292579 hasRelatedWork W1567375402 @default.
- W4385292579 hasRelatedWork W1569914145 @default.
- W4385292579 hasRelatedWork W1577802939 @default.
- W4385292579 hasRelatedWork W1594729984 @default.
- W4385292579 hasRelatedWork W1956584174 @default.
- W4385292579 hasRelatedWork W2044646445 @default.
- W4385292579 hasRelatedWork W2047973569 @default.
- W4385292579 hasRelatedWork W2165371624 @default.
- W4385292579 hasRelatedWork W2346245956 @default.
- W4385292579 hasRelatedWork W3179983169 @default.
- W4385292579 isParatext "false" @default.
- W4385292579 isRetracted "false" @default.
- W4385292579 workType "article" @default.