Matches in SemOpenAlex for { <https://semopenalex.org/work/W2492940037> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2492940037 endingPage "62" @default.
- W2492940037 startingPage "47" @default.
- W2492940037 abstract "A Software Product Line SPL is a set of similar programs generated from a common code base. Delta Oriented Programming DOP is a flexible approach to implement SPLs. Efficiently type checking an SPL i.e., checking that all its programs are well-typed is challenging. This paper proposes a novel type checking approach for DOP. Intrinsic complexity of SPL type checking is addressed by providing early detection of type errors and by reducing type checking to satisfiability of a propositional formula. The approach is tunable to exploit automatically checkable DOP guidelines for making an SPL more comprehensible and type checking more efficient. The approach and guidelines are formalized by means of a core calculus for DOP of product lines of Java programs." @default.
- W2492940037 created "2016-08-23" @default.
- W2492940037 creator A5046746506 @default.
- W2492940037 creator A5065182304 @default.
- W2492940037 date "2016-01-01" @default.
- W2492940037 modified "2023-10-16" @default.
- W2492940037 title "On Type Checking Delta-Oriented Product Lines" @default.
- W2492940037 cites W104069224 @default.
- W2492940037 cites W1604442026 @default.
- W2492940037 cites W182551173 @default.
- W2492940037 cites W1949851419 @default.
- W2492940037 cites W1963857392 @default.
- W2492940037 cites W1972612110 @default.
- W2492940037 cites W2009910430 @default.
- W2492940037 cites W2029555202 @default.
- W2492940037 cites W2033348393 @default.
- W2492940037 cites W2040961707 @default.
- W2492940037 cites W2048064553 @default.
- W2492940037 cites W2071797673 @default.
- W2492940037 cites W2081034590 @default.
- W2492940037 cites W2105406149 @default.
- W2492940037 cites W2113201637 @default.
- W2492940037 cites W2156451927 @default.
- W2492940037 cites W26465656 @default.
- W2492940037 cites W4250450918 @default.
- W2492940037 doi "https://doi.org/10.1007/978-3-319-33693-0_4" @default.
- W2492940037 hasPublicationYear "2016" @default.
- W2492940037 type Work @default.
- W2492940037 sameAs 2492940037 @default.
- W2492940037 citedByCount "14" @default.
- W2492940037 countsByYear W24929400372016 @default.
- W2492940037 countsByYear W24929400372017 @default.
- W2492940037 countsByYear W24929400372018 @default.
- W2492940037 countsByYear W24929400372019 @default.
- W2492940037 countsByYear W24929400372020 @default.
- W2492940037 countsByYear W24929400372021 @default.
- W2492940037 crossrefType "book-chapter" @default.
- W2492940037 hasAuthorship W2492940037A5046746506 @default.
- W2492940037 hasAuthorship W2492940037A5065182304 @default.
- W2492940037 hasBestOaLocation W24929400372 @default.
- W2492940037 hasConcept C121332964 @default.
- W2492940037 hasConcept C1276947 @default.
- W2492940037 hasConcept C151730666 @default.
- W2492940037 hasConcept C199360897 @default.
- W2492940037 hasConcept C23219732 @default.
- W2492940037 hasConcept C2777299769 @default.
- W2492940037 hasConcept C41008148 @default.
- W2492940037 hasConcept C5072461 @default.
- W2492940037 hasConcept C86803240 @default.
- W2492940037 hasConceptScore W2492940037C121332964 @default.
- W2492940037 hasConceptScore W2492940037C1276947 @default.
- W2492940037 hasConceptScore W2492940037C151730666 @default.
- W2492940037 hasConceptScore W2492940037C199360897 @default.
- W2492940037 hasConceptScore W2492940037C23219732 @default.
- W2492940037 hasConceptScore W2492940037C2777299769 @default.
- W2492940037 hasConceptScore W2492940037C41008148 @default.
- W2492940037 hasConceptScore W2492940037C5072461 @default.
- W2492940037 hasConceptScore W2492940037C86803240 @default.
- W2492940037 hasLocation W24929400371 @default.
- W2492940037 hasLocation W24929400372 @default.
- W2492940037 hasOpenAccess W2492940037 @default.
- W2492940037 hasPrimaryLocation W24929400371 @default.
- W2492940037 hasRelatedWork W1996182954 @default.
- W2492940037 hasRelatedWork W2076610556 @default.
- W2492940037 hasRelatedWork W2080902293 @default.
- W2492940037 hasRelatedWork W2475306025 @default.
- W2492940037 hasRelatedWork W2565939830 @default.
- W2492940037 hasRelatedWork W2772235056 @default.
- W2492940037 hasRelatedWork W2950461337 @default.
- W2492940037 hasRelatedWork W3193217268 @default.
- W2492940037 hasRelatedWork W4245192629 @default.
- W2492940037 hasRelatedWork W4316136158 @default.
- W2492940037 isParatext "false" @default.
- W2492940037 isRetracted "false" @default.
- W2492940037 magId "2492940037" @default.
- W2492940037 workType "book-chapter" @default.