Matches in SemOpenAlex for { <https://semopenalex.org/work/W2800604894> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2800604894 abstract "Based on earlier work on amortised resource analysis, we establish a novel automated amortised resource analysis for term rewrite systems. The method is presented in an inference system akin to a type system and gives rise to polynomial bounds on the innermost runtime complexity of the analysed term rewrite system. Our analysis does not restrict the input rewrite system in any way. This facilitates integration in a general framework for resource analysis of programs. In particular, we have implemented the method and integrated it into our tool Open image in new window ." @default.
- W2800604894 created "2018-05-17" @default.
- W2800604894 creator A5041764086 @default.
- W2800604894 creator A5050172197 @default.
- W2800604894 date "2018-01-01" @default.
- W2800604894 modified "2023-09-23" @default.
- W2800604894 title "Automated Amortised Resource Analysis for Term Rewrite Systems" @default.
- W2800604894 cites W1506606726 @default.
- W2800604894 cites W1987927249 @default.
- W2800604894 cites W2012180059 @default.
- W2800604894 cites W2020692742 @default.
- W2800604894 cites W2073629816 @default.
- W2800604894 cites W2111366004 @default.
- W2800604894 cites W2406041226 @default.
- W2800604894 cites W2463218253 @default.
- W2800604894 cites W2533836568 @default.
- W2800604894 cites W2556144668 @default.
- W2800604894 cites W2739906175 @default.
- W2800604894 cites W2753372626 @default.
- W2800604894 cites W2950483238 @default.
- W2800604894 cites W4230919050 @default.
- W2800604894 doi "https://doi.org/10.1007/978-3-319-90686-7_14" @default.
- W2800604894 hasPublicationYear "2018" @default.
- W2800604894 type Work @default.
- W2800604894 sameAs 2800604894 @default.
- W2800604894 citedByCount "3" @default.
- W2800604894 countsByYear W28006048942019 @default.
- W2800604894 countsByYear W28006048942021 @default.
- W2800604894 crossrefType "book-chapter" @default.
- W2800604894 hasAuthorship W2800604894A5041764086 @default.
- W2800604894 hasAuthorship W2800604894A5050172197 @default.
- W2800604894 hasBestOaLocation W28006048942 @default.
- W2800604894 hasConcept C111919701 @default.
- W2800604894 hasConcept C11413529 @default.
- W2800604894 hasConcept C120314980 @default.
- W2800604894 hasConcept C121332964 @default.
- W2800604894 hasConcept C154945302 @default.
- W2800604894 hasConcept C198370458 @default.
- W2800604894 hasConcept C199360897 @default.
- W2800604894 hasConcept C206345919 @default.
- W2800604894 hasConcept C2776214188 @default.
- W2800604894 hasConcept C2778751112 @default.
- W2800604894 hasConcept C31258907 @default.
- W2800604894 hasConcept C41008148 @default.
- W2800604894 hasConcept C61797465 @default.
- W2800604894 hasConcept C62520636 @default.
- W2800604894 hasConcept C80444323 @default.
- W2800604894 hasConceptScore W2800604894C111919701 @default.
- W2800604894 hasConceptScore W2800604894C11413529 @default.
- W2800604894 hasConceptScore W2800604894C120314980 @default.
- W2800604894 hasConceptScore W2800604894C121332964 @default.
- W2800604894 hasConceptScore W2800604894C154945302 @default.
- W2800604894 hasConceptScore W2800604894C198370458 @default.
- W2800604894 hasConceptScore W2800604894C199360897 @default.
- W2800604894 hasConceptScore W2800604894C206345919 @default.
- W2800604894 hasConceptScore W2800604894C2776214188 @default.
- W2800604894 hasConceptScore W2800604894C2778751112 @default.
- W2800604894 hasConceptScore W2800604894C31258907 @default.
- W2800604894 hasConceptScore W2800604894C41008148 @default.
- W2800604894 hasConceptScore W2800604894C61797465 @default.
- W2800604894 hasConceptScore W2800604894C62520636 @default.
- W2800604894 hasConceptScore W2800604894C80444323 @default.
- W2800604894 hasLocation W28006048941 @default.
- W2800604894 hasLocation W28006048942 @default.
- W2800604894 hasLocation W28006048943 @default.
- W2800604894 hasOpenAccess W2800604894 @default.
- W2800604894 hasPrimaryLocation W28006048941 @default.
- W2800604894 hasRelatedWork W1547870851 @default.
- W2800604894 hasRelatedWork W1584616449 @default.
- W2800604894 hasRelatedWork W1726312521 @default.
- W2800604894 hasRelatedWork W177526596 @default.
- W2800604894 hasRelatedWork W2058898825 @default.
- W2800604894 hasRelatedWork W2073629816 @default.
- W2800604894 hasRelatedWork W2096699392 @default.
- W2800604894 hasRelatedWork W2109540130 @default.
- W2800604894 hasRelatedWork W2226278679 @default.
- W2800604894 hasRelatedWork W2322420242 @default.
- W2800604894 hasRelatedWork W2404951251 @default.
- W2800604894 hasRelatedWork W2463218253 @default.
- W2800604894 hasRelatedWork W2533836568 @default.
- W2800604894 hasRelatedWork W2625056554 @default.
- W2800604894 hasRelatedWork W2770770269 @default.
- W2800604894 hasRelatedWork W2954494349 @default.
- W2800604894 hasRelatedWork W30585784 @default.
- W2800604894 hasRelatedWork W3122466558 @default.
- W2800604894 hasRelatedWork W3163682887 @default.
- W2800604894 hasRelatedWork W3199127130 @default.
- W2800604894 isParatext "false" @default.
- W2800604894 isRetracted "false" @default.
- W2800604894 magId "2800604894" @default.
- W2800604894 workType "book-chapter" @default.