FRINK Linked Data Fragments server

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

• W4286331391 abstract "Type systems are crucial tools in the hands of developers to ensure an increased level of soundness to their programs, make them safer, and guard against bugs. However, in practice, the type system is not always used to its full capability, and trade-offs are made. The effects range from hindered code comprehension and wasted development effort to financial damages and even the risk of loss of life. Various widely used programming languages, such as C++, Java, Python, and Rust, are yet to implement constrained types as a language feature. While the usage of user-defined types is common in modern languages that support such elements, developers often resort to having their variables use the most common, fundamental, built-in or library types, such as int or string, and not encode invariants into the type system. In this paper, we describe a flexible, incremental, semi-automated type migration approach that allows transitioning from the use of fundamental coarse types to strong types. Previously, well-scaling type migration methods were restricted and required the existence of an already well-defined destination type. In our case, the new strong type to be created is not yet defined, but the required interface is discovered via static analysis. As refactoring tools would cease to function if the code is changed textually to a version that refers undefined symbols, a more granular approach was needed. In addition, our proposed method allows us to discover the mixing of conceptually distinct types during development while the original program continues to function." @default.
• W4286331391 created "2022-07-21" @default.
• W4286331391 creator A5022705535 @default.
• W4286331391 creator A5061359266 @default.
• W4286331391 date "2022-03-01" @default.
• W4286331391 modified "2023-09-26" @default.
• W4286331391 title "Flexible semi-automatic support for type migration of primitives for C/C++ programs" @default.
• W4286331391 cites W1527612271 @default.
• W4286331391 cites W1530078320 @default.
• W4286331391 cites W1558458741 @default.
• W4286331391 cites W2000952465 @default.
• W4286331391 cites W2022852794 @default.
• W4286331391 cites W2029643891 @default.
• W4286331391 cites W2072952921 @default.
• W4286331391 cites W2082561436 @default.
• W4286331391 cites W2083714857 @default.
• W4286331391 cites W2094335008 @default.
• W4286331391 cites W2097750323 @default.
• W4286331391 cites W2109612250 @default.
• W4286331391 cites W2132874586 @default.
• W4286331391 cites W2151131364 @default.
• W4286331391 cites W2157984409 @default.
• W4286331391 cites W2162635569 @default.
• W4286331391 cites W2171962864 @default.
• W4286331391 cites W2380058981 @default.
• W4286331391 cites W2476494490 @default.
• W4286331391 cites W2572538018 @default.
• W4286331391 cites W2577826643 @default.
• W4286331391 cites W2750919941 @default.
• W4286331391 cites W2884404716 @default.
• W4286331391 cites W2899469232 @default.
• W4286331391 cites W2923744774 @default.
• W4286331391 cites W3017387544 @default.
• W4286331391 cites W3096525158 @default.
• W4286331391 cites W3121942699 @default.
• W4286331391 cites W3149821397 @default.
• W4286331391 cites W3150176278 @default.
• W4286331391 cites W3151395068 @default.
• W4286331391 cites W3161551626 @default.
• W4286331391 cites W3186724467 @default.
• W4286331391 cites W4240565647 @default.
• W4286331391 cites W4251772834 @default.
• W4286331391 cites W4255629562 @default.
• W4286331391 doi "https://doi.org/10.1109/saner53432.2022.00106" @default.
• W4286331391 hasPublicationYear "2022" @default.
• W4286331391 type Work @default.
• W4286331391 citedByCount "1" @default.
• W4286331391 countsByYear W42863313912023 @default.
• W4286331391 crossrefType "proceedings-article" @default.
• W4286331391 hasAuthorship W4286331391A5022705535 @default.
• W4286331391 hasAuthorship W4286331391A5061359266 @default.
• W4286331391 hasConcept C115903868 @default.
• W4286331391 hasConcept C138958017 @default.
• W4286331391 hasConcept C14185376 @default.
• W4286331391 hasConcept C149091818 @default.
• W4286331391 hasConcept C152752567 @default.
• W4286331391 hasConcept C154945302 @default.
• W4286331391 hasConcept C198370458 @default.
• W4286331391 hasConcept C199360897 @default.
• W4286331391 hasConcept C2776214188 @default.
• W4286331391 hasConcept C2777561058 @default.
• W4286331391 hasConcept C2777904410 @default.
• W4286331391 hasConcept C39920170 @default.
• W4286331391 hasConcept C41008148 @default.
• W4286331391 hasConcept C44779574 @default.
• W4286331391 hasConcept C519991488 @default.
• W4286331391 hasConcept C548217200 @default.
• W4286331391 hasConcept C61423126 @default.
• W4286331391 hasConceptScore W4286331391C115903868 @default.
• W4286331391 hasConceptScore W4286331391C138958017 @default.
• W4286331391 hasConceptScore W4286331391C14185376 @default.
• W4286331391 hasConceptScore W4286331391C149091818 @default.
• W4286331391 hasConceptScore W4286331391C152752567 @default.
• W4286331391 hasConceptScore W4286331391C154945302 @default.
• W4286331391 hasConceptScore W4286331391C198370458 @default.
• W4286331391 hasConceptScore W4286331391C199360897 @default.
• W4286331391 hasConceptScore W4286331391C2776214188 @default.
• W4286331391 hasConceptScore W4286331391C2777561058 @default.
• W4286331391 hasConceptScore W4286331391C2777904410 @default.
• W4286331391 hasConceptScore W4286331391C39920170 @default.
• W4286331391 hasConceptScore W4286331391C41008148 @default.
• W4286331391 hasConceptScore W4286331391C44779574 @default.
• W4286331391 hasConceptScore W4286331391C519991488 @default.
• W4286331391 hasConceptScore W4286331391C548217200 @default.
• W4286331391 hasConceptScore W4286331391C61423126 @default.
• W4286331391 hasFunder F4320335908 @default.
• W4286331391 hasLocation W42863313911 @default.
• W4286331391 hasOpenAccess W4286331391 @default.
• W4286331391 hasPrimaryLocation W42863313911 @default.
• W4286331391 hasRelatedWork W10147339 @default.
• W4286331391 hasRelatedWork W10911613 @default.
• W4286331391 hasRelatedWork W11165583 @default.
• W4286331391 hasRelatedWork W11272181 @default.
• W4286331391 hasRelatedWork W14089580 @default.
• W4286331391 hasRelatedWork W14904345 @default.
• W4286331391 hasRelatedWork W2990514 @default.
• W4286331391 hasRelatedWork W6153644 @default.
• W4286331391 hasRelatedWork W675950 @default.
• W4286331391 hasRelatedWork W9487676 @default.
• W4286331391 isParatext "false" @default.

• next