Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490257478> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1490257478 endingPage "66" @default.
- W1490257478 startingPage "51" @default.
- W1490257478 abstract "In this paper, we push forward the approach proposed in [1] aiming at studying semantic interpretation criteria for the purpose of ensuring safety and complexity properties of programs working on streams. The paper improves the previous results by considering global and local upper bounds properties of both theoretical and practical interests guaranteeing that the size of each output stream element is bounded by a function in the maximal size of the input stream elements. Moreover, in contrast to previous studies, these properties also apply to a wide class of stream definitions, that is functions that do not have streams in the input but produce an output stream." @default.
- W1490257478 created "2016-06-24" @default.
- W1490257478 creator A5021948795 @default.
- W1490257478 creator A5051353259 @default.
- W1490257478 date "2010-01-01" @default.
- W1490257478 modified "2023-09-26" @default.
- W1490257478 title "Global and Local Space Properties of Stream Programs" @default.
- W1490257478 cites W1491165055 @default.
- W1490257478 cites W1492460849 @default.
- W1490257478 cites W1492921884 @default.
- W1490257478 cites W1512931629 @default.
- W1490257478 cites W1968168625 @default.
- W1490257478 cites W1979328536 @default.
- W1490257478 cites W2011455705 @default.
- W1490257478 cites W2019066753 @default.
- W1490257478 cites W2025130727 @default.
- W1490257478 cites W2107474854 @default.
- W1490257478 cites W2166184800 @default.
- W1490257478 cites W3004961099 @default.
- W1490257478 cites W46309478 @default.
- W1490257478 doi "https://doi.org/10.1007/978-3-642-15331-0_4" @default.
- W1490257478 hasPublicationYear "2010" @default.
- W1490257478 type Work @default.
- W1490257478 sameAs 1490257478 @default.
- W1490257478 citedByCount "2" @default.
- W1490257478 countsByYear W14902574782013 @default.
- W1490257478 countsByYear W14902574782015 @default.
- W1490257478 crossrefType "book-chapter" @default.
- W1490257478 hasAuthorship W1490257478A5021948795 @default.
- W1490257478 hasAuthorship W1490257478A5051353259 @default.
- W1490257478 hasBestOaLocation W14902574782 @default.
- W1490257478 hasConcept C111919701 @default.
- W1490257478 hasConcept C134306372 @default.
- W1490257478 hasConcept C14036430 @default.
- W1490257478 hasConcept C154945302 @default.
- W1490257478 hasConcept C2776502983 @default.
- W1490257478 hasConcept C2777212361 @default.
- W1490257478 hasConcept C2778572836 @default.
- W1490257478 hasConcept C31258907 @default.
- W1490257478 hasConcept C33923547 @default.
- W1490257478 hasConcept C34388435 @default.
- W1490257478 hasConcept C41008148 @default.
- W1490257478 hasConcept C42090638 @default.
- W1490257478 hasConcept C78458016 @default.
- W1490257478 hasConcept C80444323 @default.
- W1490257478 hasConcept C86803240 @default.
- W1490257478 hasConceptScore W1490257478C111919701 @default.
- W1490257478 hasConceptScore W1490257478C134306372 @default.
- W1490257478 hasConceptScore W1490257478C14036430 @default.
- W1490257478 hasConceptScore W1490257478C154945302 @default.
- W1490257478 hasConceptScore W1490257478C2776502983 @default.
- W1490257478 hasConceptScore W1490257478C2777212361 @default.
- W1490257478 hasConceptScore W1490257478C2778572836 @default.
- W1490257478 hasConceptScore W1490257478C31258907 @default.
- W1490257478 hasConceptScore W1490257478C33923547 @default.
- W1490257478 hasConceptScore W1490257478C34388435 @default.
- W1490257478 hasConceptScore W1490257478C41008148 @default.
- W1490257478 hasConceptScore W1490257478C42090638 @default.
- W1490257478 hasConceptScore W1490257478C78458016 @default.
- W1490257478 hasConceptScore W1490257478C80444323 @default.
- W1490257478 hasConceptScore W1490257478C86803240 @default.
- W1490257478 hasLocation W14902574781 @default.
- W1490257478 hasLocation W14902574782 @default.
- W1490257478 hasLocation W14902574783 @default.
- W1490257478 hasOpenAccess W1490257478 @default.
- W1490257478 hasPrimaryLocation W14902574781 @default.
- W1490257478 hasRelatedWork W115787419 @default.
- W1490257478 hasRelatedWork W2046674671 @default.
- W1490257478 hasRelatedWork W205648239 @default.
- W1490257478 hasRelatedWork W2238599277 @default.
- W1490257478 hasRelatedWork W2312540618 @default.
- W1490257478 hasRelatedWork W2313030483 @default.
- W1490257478 hasRelatedWork W2325129708 @default.
- W1490257478 hasRelatedWork W2334651808 @default.
- W1490257478 hasRelatedWork W2363957433 @default.
- W1490257478 hasRelatedWork W2896245592 @default.
- W1490257478 isParatext "false" @default.
- W1490257478 isRetracted "false" @default.
- W1490257478 magId "1490257478" @default.
- W1490257478 workType "book-chapter" @default.