Matches in SemOpenAlex for { <https://semopenalex.org/work/W4289598210> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4289598210 abstract "We revisit parallel-innermost term rewriting as a model of parallel computation on inductive data structures and provide a corresponding notion of runtime complexity parametric in the size of the start term. We propose automatic techniques to derive both upper and lower bounds on parallel complexity of rewriting that enable a direct reuse of existing techniques for sequential complexity. The applicability and the precision of the method are demonstrated by the relatively light effort in extending the program analysis tool AProVE and by experiments on numerous benchmarks from the literature." @default.
- W4289598210 created "2022-08-03" @default.
- W4289598210 creator A5045363254 @default.
- W4289598210 creator A5045704398 @default.
- W4289598210 creator A5059186408 @default.
- W4289598210 date "2022-09-21" @default.
- W4289598210 modified "2023-09-25" @default.
- W4289598210 title "Analysing Parallel Complexity of Term Rewriting" @default.
- W4289598210 hasPublicationYear "2022" @default.
- W4289598210 type Work @default.
- W4289598210 citedByCount "0" @default.
- W4289598210 crossrefType "proceedings-article" @default.
- W4289598210 hasAuthorship W4289598210A5045363254 @default.
- W4289598210 hasAuthorship W4289598210A5045704398 @default.
- W4289598210 hasAuthorship W4289598210A5059186408 @default.
- W4289598210 hasBestOaLocation W42895982102 @default.
- W4289598210 hasConcept C105795698 @default.
- W4289598210 hasConcept C11413529 @default.
- W4289598210 hasConcept C117251300 @default.
- W4289598210 hasConcept C121332964 @default.
- W4289598210 hasConcept C154690210 @default.
- W4289598210 hasConcept C173608175 @default.
- W4289598210 hasConcept C179799912 @default.
- W4289598210 hasConcept C18903297 @default.
- W4289598210 hasConcept C199360897 @default.
- W4289598210 hasConcept C206588197 @default.
- W4289598210 hasConcept C33923547 @default.
- W4289598210 hasConcept C41008148 @default.
- W4289598210 hasConcept C45374587 @default.
- W4289598210 hasConcept C61797465 @default.
- W4289598210 hasConcept C62520636 @default.
- W4289598210 hasConcept C80444323 @default.
- W4289598210 hasConcept C86803240 @default.
- W4289598210 hasConceptScore W4289598210C105795698 @default.
- W4289598210 hasConceptScore W4289598210C11413529 @default.
- W4289598210 hasConceptScore W4289598210C117251300 @default.
- W4289598210 hasConceptScore W4289598210C121332964 @default.
- W4289598210 hasConceptScore W4289598210C154690210 @default.
- W4289598210 hasConceptScore W4289598210C173608175 @default.
- W4289598210 hasConceptScore W4289598210C179799912 @default.
- W4289598210 hasConceptScore W4289598210C18903297 @default.
- W4289598210 hasConceptScore W4289598210C199360897 @default.
- W4289598210 hasConceptScore W4289598210C206588197 @default.
- W4289598210 hasConceptScore W4289598210C33923547 @default.
- W4289598210 hasConceptScore W4289598210C41008148 @default.
- W4289598210 hasConceptScore W4289598210C45374587 @default.
- W4289598210 hasConceptScore W4289598210C61797465 @default.
- W4289598210 hasConceptScore W4289598210C62520636 @default.
- W4289598210 hasConceptScore W4289598210C80444323 @default.
- W4289598210 hasConceptScore W4289598210C86803240 @default.
- W4289598210 hasLocation W42895982101 @default.
- W4289598210 hasLocation W42895982102 @default.
- W4289598210 hasLocation W42895982103 @default.
- W4289598210 hasLocation W42895982104 @default.
- W4289598210 hasOpenAccess W4289598210 @default.
- W4289598210 hasPrimaryLocation W42895982101 @default.
- W4289598210 hasRelatedWork W114484541 @default.
- W4289598210 hasRelatedWork W2024875518 @default.
- W4289598210 hasRelatedWork W2030557042 @default.
- W4289598210 hasRelatedWork W2120204135 @default.
- W4289598210 hasRelatedWork W2133996617 @default.
- W4289598210 hasRelatedWork W2284153003 @default.
- W4289598210 hasRelatedWork W2885381454 @default.
- W4289598210 hasRelatedWork W3005833196 @default.
- W4289598210 hasRelatedWork W1497216778 @default.
- W4289598210 hasRelatedWork W4298032262 @default.
- W4289598210 isParatext "false" @default.
- W4289598210 isRetracted "false" @default.
- W4289598210 workType "article" @default.