FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312966311> ?p ?o ?g. }

• W4312966311 endingPage "64" @default.
• W4312966311 startingPage "45" @default.
• W4312966311 abstract "Region-based type systems are a powerful tool for various kinds of program analysis. We introduce a new inference algorithm for region types based on an abstract notion of environment transformation. It analyzes the code of a method only once, even when there are multiple invocations of the method of different region types in the program. Elements of such an abstract transformation are essentially constraints for equality and subtyping that capture flow information of the program. In particular, we work with access graphs in the definition of abstract transformations to guarantee the termination of the inference algorithm, because they provide a finite representation of field access paths." @default.
• W4312966311 created "2023-01-05" @default.
• W4312966311 creator A5048383718 @default.
• W4312966311 creator A5082258374 @default.
• W4312966311 date "2022-01-01" @default.
• W4312966311 modified "2023-10-16" @default.
• W4312966311 title "Inferring Region Types via an Abstract Notion of Environment Transformation" @default.
• W4312966311 cites W1490866972 @default.
• W4312966311 cites W1898597206 @default.
• W4312966311 cites W1899538528 @default.
• W4312966311 cites W1964476601 @default.
• W4312966311 cites W2022443117 @default.
• W4312966311 cites W2033348393 @default.
• W4312966311 cites W2036157748 @default.
• W4312966311 cites W2068457689 @default.
• W4312966311 cites W2079078409 @default.
• W4312966311 cites W2088126145 @default.
• W4312966311 cites W2105285801 @default.
• W4312966311 cites W2163627399 @default.
• W4312966311 cites W2171640663 @default.
• W4312966311 cites W2247002685 @default.
• W4312966311 cites W2553375745 @default.
• W4312966311 cites W2769803067 @default.
• W4312966311 cites W3003698748 @default.
• W4312966311 cites W3022449549 @default.
• W4312966311 cites W3124619212 @default.
• W4312966311 cites W3204808714 @default.
• W4312966311 cites W4230777703 @default.
• W4312966311 cites W4238698576 @default.
• W4312966311 cites W4246881098 @default.
• W4312966311 cites W98108028 @default.
• W4312966311 doi "https://doi.org/10.1007/978-3-031-21037-2_3" @default.
• W4312966311 hasPublicationYear "2022" @default.
• W4312966311 type Work @default.
• W4312966311 citedByCount "0" @default.
• W4312966311 crossrefType "book-chapter" @default.
• W4312966311 hasAuthorship W4312966311A5048383718 @default.
• W4312966311 hasAuthorship W4312966311A5082258374 @default.
• W4312966311 hasBestOaLocation W43129663112 @default.
• W4312966311 hasConcept C104317684 @default.
• W4312966311 hasConcept C11413529 @default.
• W4312966311 hasConcept C154945302 @default.
• W4312966311 hasConcept C177264268 @default.
• W4312966311 hasConcept C17744445 @default.
• W4312966311 hasConcept C185592680 @default.
• W4312966311 hasConcept C18903297 @default.
• W4312966311 hasConcept C198370458 @default.
• W4312966311 hasConcept C199360897 @default.
• W4312966311 hasConcept C199539241 @default.
• W4312966311 hasConcept C202444582 @default.
• W4312966311 hasConcept C204241405 @default.
• W4312966311 hasConcept C2776214188 @default.
• W4312966311 hasConcept C2776359362 @default.
• W4312966311 hasConcept C2776760102 @default.
• W4312966311 hasConcept C2777299769 @default.
• W4312966311 hasConcept C2778361913 @default.
• W4312966311 hasConcept C2780654840 @default.
• W4312966311 hasConcept C33923547 @default.
• W4312966311 hasConcept C41008148 @default.
• W4312966311 hasConcept C489000 @default.
• W4312966311 hasConcept C55493867 @default.
• W4312966311 hasConcept C77088390 @default.
• W4312966311 hasConcept C80444323 @default.
• W4312966311 hasConcept C83852419 @default.
• W4312966311 hasConcept C86803240 @default.
• W4312966311 hasConcept C88468194 @default.
• W4312966311 hasConcept C94625758 @default.
• W4312966311 hasConcept C9652623 @default.
• W4312966311 hasConcept C98183937 @default.
• W4312966311 hasConceptScore W4312966311C104317684 @default.
• W4312966311 hasConceptScore W4312966311C11413529 @default.
• W4312966311 hasConceptScore W4312966311C154945302 @default.
• W4312966311 hasConceptScore W4312966311C177264268 @default.
• W4312966311 hasConceptScore W4312966311C17744445 @default.
• W4312966311 hasConceptScore W4312966311C185592680 @default.
• W4312966311 hasConceptScore W4312966311C18903297 @default.
• W4312966311 hasConceptScore W4312966311C198370458 @default.
• W4312966311 hasConceptScore W4312966311C199360897 @default.
• W4312966311 hasConceptScore W4312966311C199539241 @default.
• W4312966311 hasConceptScore W4312966311C202444582 @default.
• W4312966311 hasConceptScore W4312966311C204241405 @default.
• W4312966311 hasConceptScore W4312966311C2776214188 @default.
• W4312966311 hasConceptScore W4312966311C2776359362 @default.
• W4312966311 hasConceptScore W4312966311C2776760102 @default.
• W4312966311 hasConceptScore W4312966311C2777299769 @default.
• W4312966311 hasConceptScore W4312966311C2778361913 @default.
• W4312966311 hasConceptScore W4312966311C2780654840 @default.
• W4312966311 hasConceptScore W4312966311C33923547 @default.
• W4312966311 hasConceptScore W4312966311C41008148 @default.
• W4312966311 hasConceptScore W4312966311C489000 @default.
• W4312966311 hasConceptScore W4312966311C55493867 @default.
• W4312966311 hasConceptScore W4312966311C77088390 @default.
• W4312966311 hasConceptScore W4312966311C80444323 @default.
• W4312966311 hasConceptScore W4312966311C83852419 @default.
• W4312966311 hasConceptScore W4312966311C86803240 @default.
• W4312966311 hasConceptScore W4312966311C88468194 @default.
• W4312966311 hasConceptScore W4312966311C94625758 @default.
• W4312966311 hasConceptScore W4312966311C9652623 @default.

• next