Matches in SemOpenAlex for { <https://semopenalex.org/work/W1492460849> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1492460849 endingPage "176" @default.
- W1492460849 startingPage "163" @default.
- W1492460849 abstract "We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs. We establish a criteria for which the stack frame size is polynomially bounded. The criteria analyses terminating as well as non-terminating programs. This method applies to first order functional programming with pattern matching. This work is related to quasi-interpretations but we are now able to determine resources of different algorithms and it is easier to perform an analysis with this new tools." @default.
- W1492460849 created "2016-06-24" @default.
- W1492460849 creator A5051353259 @default.
- W1492460849 creator A5054567629 @default.
- W1492460849 date "2006-01-01" @default.
- W1492460849 modified "2023-09-24" @default.
- W1492460849 title "Resource Analysis by Sup-interpretation" @default.
- W1492460849 cites W1503040226 @default.
- W1492460849 cites W1509680334 @default.
- W1492460849 cites W1548852834 @default.
- W1492460849 cites W1597829367 @default.
- W1492460849 cites W174108390 @default.
- W1492460849 cites W1764978748 @default.
- W1492460849 cites W1799755858 @default.
- W1492460849 cites W1978221548 @default.
- W1492460849 cites W2012069736 @default.
- W1492460849 cites W2055717180 @default.
- W1492460849 cites W2065096174 @default.
- W1492460849 cites W2089442854 @default.
- W1492460849 cites W2090855107 @default.
- W1492460849 cites W2121757274 @default.
- W1492460849 cites W2135155734 @default.
- W1492460849 cites W2170698790 @default.
- W1492460849 doi "https://doi.org/10.1007/11737414_12" @default.
- W1492460849 hasPublicationYear "2006" @default.
- W1492460849 type Work @default.
- W1492460849 sameAs 1492460849 @default.
- W1492460849 citedByCount "26" @default.
- W1492460849 countsByYear W14924608492012 @default.
- W1492460849 countsByYear W14924608492015 @default.
- W1492460849 crossrefType "book-chapter" @default.
- W1492460849 hasAuthorship W1492460849A5051353259 @default.
- W1492460849 hasAuthorship W1492460849A5054567629 @default.
- W1492460849 hasBestOaLocation W14924608492 @default.
- W1492460849 hasConcept C105795698 @default.
- W1492460849 hasConcept C11413529 @default.
- W1492460849 hasConcept C126042441 @default.
- W1492460849 hasConcept C134306372 @default.
- W1492460849 hasConcept C14036430 @default.
- W1492460849 hasConcept C165064840 @default.
- W1492460849 hasConcept C199360897 @default.
- W1492460849 hasConcept C206345919 @default.
- W1492460849 hasConcept C2780654840 @default.
- W1492460849 hasConcept C31258907 @default.
- W1492460849 hasConcept C33923547 @default.
- W1492460849 hasConcept C34388435 @default.
- W1492460849 hasConcept C41008148 @default.
- W1492460849 hasConcept C527412718 @default.
- W1492460849 hasConcept C76155785 @default.
- W1492460849 hasConcept C78458016 @default.
- W1492460849 hasConcept C80444323 @default.
- W1492460849 hasConcept C86803240 @default.
- W1492460849 hasConcept C9395851 @default.
- W1492460849 hasConceptScore W1492460849C105795698 @default.
- W1492460849 hasConceptScore W1492460849C11413529 @default.
- W1492460849 hasConceptScore W1492460849C126042441 @default.
- W1492460849 hasConceptScore W1492460849C134306372 @default.
- W1492460849 hasConceptScore W1492460849C14036430 @default.
- W1492460849 hasConceptScore W1492460849C165064840 @default.
- W1492460849 hasConceptScore W1492460849C199360897 @default.
- W1492460849 hasConceptScore W1492460849C206345919 @default.
- W1492460849 hasConceptScore W1492460849C2780654840 @default.
- W1492460849 hasConceptScore W1492460849C31258907 @default.
- W1492460849 hasConceptScore W1492460849C33923547 @default.
- W1492460849 hasConceptScore W1492460849C34388435 @default.
- W1492460849 hasConceptScore W1492460849C41008148 @default.
- W1492460849 hasConceptScore W1492460849C527412718 @default.
- W1492460849 hasConceptScore W1492460849C76155785 @default.
- W1492460849 hasConceptScore W1492460849C78458016 @default.
- W1492460849 hasConceptScore W1492460849C80444323 @default.
- W1492460849 hasConceptScore W1492460849C86803240 @default.
- W1492460849 hasConceptScore W1492460849C9395851 @default.
- W1492460849 hasLocation W14924608491 @default.
- W1492460849 hasLocation W14924608492 @default.
- W1492460849 hasLocation W14924608493 @default.
- W1492460849 hasLocation W14924608494 @default.
- W1492460849 hasOpenAccess W1492460849 @default.
- W1492460849 hasPrimaryLocation W14924608491 @default.
- W1492460849 hasRelatedWork W1546990306 @default.
- W1492460849 hasRelatedWork W2021410963 @default.
- W1492460849 hasRelatedWork W2062066235 @default.
- W1492460849 hasRelatedWork W2074638034 @default.
- W1492460849 hasRelatedWork W2135734418 @default.
- W1492460849 hasRelatedWork W2386369021 @default.
- W1492460849 hasRelatedWork W3146823024 @default.
- W1492460849 hasRelatedWork W3169777496 @default.
- W1492460849 hasRelatedWork W4297892176 @default.
- W1492460849 hasRelatedWork W817135640 @default.
- W1492460849 isParatext "false" @default.
- W1492460849 isRetracted "false" @default.
- W1492460849 magId "1492460849" @default.
- W1492460849 workType "book-chapter" @default.