Matches in SemOpenAlex for { <https://semopenalex.org/work/W70320512> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W70320512 endingPage "302" @default.
- W70320512 startingPage "287" @default.
- W70320512 abstract "We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of synchronization common in this line of research; it can handle forward as well as backward problems. We exploit a structural property of kill/gen-problems that allows us to analyze the influence of environment actions independently from the local transfer of data flow information. While this idea has been used for programs with parbegin/parend blocks before in work of Knoop/Steffen/Vollmer and Seidl/Steffen, considerable refinement and modification is needed to extend it to thread creation, in particular for backward problems. Our algorithm computes annotations for all program points in time depending linearly on the program size, thus being faster than a recently proposed automata based algorithm by Bouajjani et. al.." @default.
- W70320512 created "2016-06-24" @default.
- W70320512 creator A5070224469 @default.
- W70320512 creator A5082037264 @default.
- W70320512 date "2007-08-18" @default.
- W70320512 modified "2023-10-14" @default.
- W70320512 title "Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures" @default.
- W70320512 cites W1553894716 @default.
- W70320512 cites W1560595963 @default.
- W70320512 cites W2060345611 @default.
- W70320512 cites W2065818693 @default.
- W70320512 cites W2073475094 @default.
- W70320512 cites W4301322018 @default.
- W70320512 doi "https://doi.org/10.1007/978-3-540-74407-8_20" @default.
- W70320512 hasPublicationYear "2007" @default.
- W70320512 type Work @default.
- W70320512 sameAs 70320512 @default.
- W70320512 citedByCount "12" @default.
- W70320512 countsByYear W703205122012 @default.
- W70320512 countsByYear W703205122013 @default.
- W70320512 countsByYear W703205122014 @default.
- W70320512 countsByYear W703205122015 @default.
- W70320512 countsByYear W703205122017 @default.
- W70320512 countsByYear W703205122018 @default.
- W70320512 countsByYear W703205122019 @default.
- W70320512 crossrefType "book-chapter" @default.
- W70320512 hasAuthorship W70320512A5070224469 @default.
- W70320512 hasAuthorship W70320512A5082037264 @default.
- W70320512 hasBestOaLocation W703205121 @default.
- W70320512 hasConcept C11413529 @default.
- W70320512 hasConcept C134306372 @default.
- W70320512 hasConcept C138101251 @default.
- W70320512 hasConcept C165696696 @default.
- W70320512 hasConcept C173608175 @default.
- W70320512 hasConcept C193702766 @default.
- W70320512 hasConcept C199360897 @default.
- W70320512 hasConcept C33923547 @default.
- W70320512 hasConcept C38652104 @default.
- W70320512 hasConcept C41008148 @default.
- W70320512 hasConcept C489000 @default.
- W70320512 hasConcept C53833338 @default.
- W70320512 hasConcept C61445026 @default.
- W70320512 hasConcept C77088390 @default.
- W70320512 hasConcept C80444323 @default.
- W70320512 hasConcept C88468194 @default.
- W70320512 hasConceptScore W70320512C11413529 @default.
- W70320512 hasConceptScore W70320512C134306372 @default.
- W70320512 hasConceptScore W70320512C138101251 @default.
- W70320512 hasConceptScore W70320512C165696696 @default.
- W70320512 hasConceptScore W70320512C173608175 @default.
- W70320512 hasConceptScore W70320512C193702766 @default.
- W70320512 hasConceptScore W70320512C199360897 @default.
- W70320512 hasConceptScore W70320512C33923547 @default.
- W70320512 hasConceptScore W70320512C38652104 @default.
- W70320512 hasConceptScore W70320512C41008148 @default.
- W70320512 hasConceptScore W70320512C489000 @default.
- W70320512 hasConceptScore W70320512C53833338 @default.
- W70320512 hasConceptScore W70320512C61445026 @default.
- W70320512 hasConceptScore W70320512C77088390 @default.
- W70320512 hasConceptScore W70320512C80444323 @default.
- W70320512 hasConceptScore W70320512C88468194 @default.
- W70320512 hasLocation W703205121 @default.
- W70320512 hasOpenAccess W70320512 @default.
- W70320512 hasPrimaryLocation W703205121 @default.
- W70320512 hasRelatedWork W1496744108 @default.
- W70320512 hasRelatedWork W1959561997 @default.
- W70320512 hasRelatedWork W2169351487 @default.
- W70320512 hasRelatedWork W2624440775 @default.
- W70320512 hasRelatedWork W2748403830 @default.
- W70320512 hasRelatedWork W2781003468 @default.
- W70320512 hasRelatedWork W3094277430 @default.
- W70320512 hasRelatedWork W4232891356 @default.
- W70320512 hasRelatedWork W4238882300 @default.
- W70320512 hasRelatedWork W4240835729 @default.
- W70320512 isParatext "false" @default.
- W70320512 isRetracted "false" @default.
- W70320512 magId "70320512" @default.
- W70320512 workType "book-chapter" @default.