Matches in SemOpenAlex for { <https://semopenalex.org/work/W3003558548> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W3003558548 abstract "A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Sup-interpretations have shown their interest to deal with the complexity of first order functional programs. For instance, they allow to characterize all the functions bitwise computable in texttt{Alogtime}. This paper is an attempt to adapt the framework of sup-interpretations to a fragment of oriented-object programs, including distinct encodings of numbers through the use of constructor symbols, loop and while constructs and non recursive methods with side effects. We give a criterion, called brotherly criterion, which ensures that each brotherly program computes objects whose size is polynomially bounded by the inputs sizes." @default.
- W3003558548 created "2020-02-07" @default.
- W3003558548 creator A5051353259 @default.
- W3003558548 creator A5054567629 @default.
- W3003558548 date "2007-07-15" @default.
- W3003558548 modified "2023-09-25" @default.
- W3003558548 title "Resource control of object-oriented programs" @default.
- W3003558548 cites W1492460849 @default.
- W3003558548 cites W1569794958 @default.
- W3003558548 cites W1581128411 @default.
- W3003558548 cites W174108390 @default.
- W3003558548 cites W1993129359 @default.
- W3003558548 cites W2033348393 @default.
- W3003558548 cites W2048694918 @default.
- W3003558548 cites W2071558233 @default.
- W3003558548 cites W2089442854 @default.
- W3003558548 cites W2090855107 @default.
- W3003558548 cites W2130601166 @default.
- W3003558548 cites W2625888019 @default.
- W3003558548 hasPublicationYear "2007" @default.
- W3003558548 type Work @default.
- W3003558548 sameAs 3003558548 @default.
- W3003558548 citedByCount "1" @default.
- W3003558548 countsByYear W30035585482012 @default.
- W3003558548 crossrefType "journal-article" @default.
- W3003558548 hasAuthorship W3003558548A5051353259 @default.
- W3003558548 hasAuthorship W3003558548A5054567629 @default.
- W3003558548 hasConcept C104317684 @default.
- W3003558548 hasConcept C11413529 @default.
- W3003558548 hasConcept C118615104 @default.
- W3003558548 hasConcept C134306372 @default.
- W3003558548 hasConcept C134400042 @default.
- W3003558548 hasConcept C134765980 @default.
- W3003558548 hasConcept C154945302 @default.
- W3003558548 hasConcept C158448853 @default.
- W3003558548 hasConcept C17020691 @default.
- W3003558548 hasConcept C185592680 @default.
- W3003558548 hasConcept C199360897 @default.
- W3003558548 hasConcept C206345919 @default.
- W3003558548 hasConcept C2775924081 @default.
- W3003558548 hasConcept C2781238097 @default.
- W3003558548 hasConcept C31258907 @default.
- W3003558548 hasConcept C33923547 @default.
- W3003558548 hasConcept C34388435 @default.
- W3003558548 hasConcept C41008148 @default.
- W3003558548 hasConcept C527412718 @default.
- W3003558548 hasConcept C55493867 @default.
- W3003558548 hasConcept C80444323 @default.
- W3003558548 hasConcept C86339819 @default.
- W3003558548 hasConceptScore W3003558548C104317684 @default.
- W3003558548 hasConceptScore W3003558548C11413529 @default.
- W3003558548 hasConceptScore W3003558548C118615104 @default.
- W3003558548 hasConceptScore W3003558548C134306372 @default.
- W3003558548 hasConceptScore W3003558548C134400042 @default.
- W3003558548 hasConceptScore W3003558548C134765980 @default.
- W3003558548 hasConceptScore W3003558548C154945302 @default.
- W3003558548 hasConceptScore W3003558548C158448853 @default.
- W3003558548 hasConceptScore W3003558548C17020691 @default.
- W3003558548 hasConceptScore W3003558548C185592680 @default.
- W3003558548 hasConceptScore W3003558548C199360897 @default.
- W3003558548 hasConceptScore W3003558548C206345919 @default.
- W3003558548 hasConceptScore W3003558548C2775924081 @default.
- W3003558548 hasConceptScore W3003558548C2781238097 @default.
- W3003558548 hasConceptScore W3003558548C31258907 @default.
- W3003558548 hasConceptScore W3003558548C33923547 @default.
- W3003558548 hasConceptScore W3003558548C34388435 @default.
- W3003558548 hasConceptScore W3003558548C41008148 @default.
- W3003558548 hasConceptScore W3003558548C527412718 @default.
- W3003558548 hasConceptScore W3003558548C55493867 @default.
- W3003558548 hasConceptScore W3003558548C80444323 @default.
- W3003558548 hasConceptScore W3003558548C86339819 @default.
- W3003558548 hasLocation W30035585481 @default.
- W3003558548 hasOpenAccess W3003558548 @default.
- W3003558548 hasPrimaryLocation W30035585481 @default.
- W3003558548 hasRelatedWork W139939626 @default.
- W3003558548 hasRelatedWork W1483974062 @default.
- W3003558548 hasRelatedWork W1532962737 @default.
- W3003558548 hasRelatedWork W1966340850 @default.
- W3003558548 hasRelatedWork W2032854624 @default.
- W3003558548 hasRelatedWork W2033656559 @default.
- W3003558548 hasRelatedWork W2047132743 @default.
- W3003558548 hasRelatedWork W2110470174 @default.
- W3003558548 hasRelatedWork W2114370098 @default.
- W3003558548 hasRelatedWork W2134547439 @default.
- W3003558548 hasRelatedWork W2243180111 @default.
- W3003558548 hasRelatedWork W2779724286 @default.
- W3003558548 hasRelatedWork W2951698571 @default.
- W3003558548 hasRelatedWork W2971024085 @default.
- W3003558548 hasRelatedWork W3098751523 @default.
- W3003558548 hasRelatedWork W3111652823 @default.
- W3003558548 hasRelatedWork W3146184629 @default.
- W3003558548 hasRelatedWork W3200336857 @default.
- W3003558548 hasRelatedWork W2182798193 @default.
- W3003558548 hasRelatedWork W2184107144 @default.
- W3003558548 isParatext "false" @default.
- W3003558548 isRetracted "false" @default.
- W3003558548 magId "3003558548" @default.
- W3003558548 workType "article" @default.