FRINK Linked Data Fragments server

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

• W4235417919 endingPage "364" @default.
• W4235417919 startingPage "355" @default.
• W4235417919 abstract "A software product line (SPL) encodes a potentially large variety of software products as variants of some common code base. Up until now, re-using traditional static analyses for SPLs was virtually intractable, as it required programmers to generate and analyze all products individually. In this work, however, we show how an important class of existing inter-procedural static analyses can be transparently lifted to SPLs. Without requiring programmers to change a single line of code, our approach SPLLIFT automatically converts any analysis formulated for traditional programs within the popular IFDS framework for inter-procedural, finite, distributive, subset problems to an SPL-aware analysis formulated in the IDE framework, a well-known extension to IFDS. Using a full implementation based on Heros, Soot, CIDE and JavaBDD, we show that with SPLLIFT one can reuse IFDS-based analyses without changing a single line of code. Through experiments using three static analyses applied to four Java-based product lines, we were able to show that our approach produces correct results and outperforms the traditional approach by several orders of magnitude." @default.
• W4235417919 created "2022-05-12" @default.
• W4235417919 creator A5030845988 @default.
• W4235417919 creator A5040055776 @default.
• W4235417919 creator A5051287042 @default.
• W4235417919 creator A5073460644 @default.
• W4235417919 creator A5076678278 @default.
• W4235417919 creator A5078067853 @default.
• W4235417919 date "2013-06-16" @default.
• W4235417919 modified "2023-10-03" @default.
• W4235417919 title "SPL ^LIFT" @default.
• W4235417919 cites W1490160828 @default.
• W4235417919 cites W1508482211 @default.
• W4235417919 cites W1552065586 @default.
• W4235417919 cites W1842210354 @default.
• W4235417919 cites W1971327145 @default.
• W4235417919 cites W1974608873 @default.
• W4235417919 cites W1988320459 @default.
• W4235417919 cites W1999214372 @default.
• W4235417919 cites W2003113483 @default.
• W4235417919 cites W2009093319 @default.
• W4235417919 cites W2012148899 @default.
• W4235417919 cites W2026947155 @default.
• W4235417919 cites W2049497188 @default.
• W4235417919 cites W2052664195 @default.
• W4235417919 cites W2080573945 @default.
• W4235417919 cites W2082263366 @default.
• W4235417919 cites W2100619699 @default.
• W4235417919 cites W2102890180 @default.
• W4235417919 cites W2105285801 @default.
• W4235417919 cites W2112630514 @default.
• W4235417919 cites W2113201637 @default.
• W4235417919 cites W2115725211 @default.
• W4235417919 cites W2117352154 @default.
• W4235417919 cites W2121771606 @default.
• W4235417919 cites W2130195901 @default.
• W4235417919 cites W2153269672 @default.
• W4235417919 cites W2155735696 @default.
• W4235417919 cites W2156881251 @default.
• W4235417919 cites W2161565163 @default.
• W4235417919 cites W2167363133 @default.
• W4235417919 cites W2167672803 @default.
• W4235417919 cites W2171002355 @default.
• W4235417919 cites W4235070923 @default.
• W4235417919 cites W4299835756 @default.
• W4235417919 doi "https://doi.org/10.1145/2499370.2491976" @default.
• W4235417919 hasPublicationYear "2013" @default.
• W4235417919 type Work @default.
• W4235417919 citedByCount "25" @default.
• W4235417919 countsByYear W42354179192014 @default.
• W4235417919 countsByYear W42354179192016 @default.
• W4235417919 countsByYear W42354179192017 @default.
• W4235417919 countsByYear W42354179192018 @default.
• W4235417919 countsByYear W42354179192019 @default.
• W4235417919 countsByYear W42354179192020 @default.
• W4235417919 countsByYear W42354179192021 @default.
• W4235417919 countsByYear W42354179192022 @default.
• W4235417919 countsByYear W42354179192023 @default.
• W4235417919 crossrefType "journal-article" @default.
• W4235417919 hasAuthorship W4235417919A5030845988 @default.
• W4235417919 hasAuthorship W4235417919A5040055776 @default.
• W4235417919 hasAuthorship W4235417919A5051287042 @default.
• W4235417919 hasAuthorship W4235417919A5073460644 @default.
• W4235417919 hasAuthorship W4235417919A5076678278 @default.
• W4235417919 hasAuthorship W4235417919A5078067853 @default.
• W4235417919 hasConcept C11821877 @default.
• W4235417919 hasConcept C124101348 @default.
• W4235417919 hasConcept C139002025 @default.
• W4235417919 hasConcept C154945302 @default.
• W4235417919 hasConcept C173608175 @default.
• W4235417919 hasConcept C177264268 @default.
• W4235417919 hasConcept C18903297 @default.
• W4235417919 hasConcept C199360897 @default.
• W4235417919 hasConcept C199519371 @default.
• W4235417919 hasConcept C202444582 @default.
• W4235417919 hasConcept C206588197 @default.
• W4235417919 hasConcept C2776760102 @default.
• W4235417919 hasConcept C2777212361 @default.
• W4235417919 hasConcept C2777904410 @default.
• W4235417919 hasConcept C2778177629 @default.
• W4235417919 hasConcept C33923547 @default.
• W4235417919 hasConcept C41008148 @default.
• W4235417919 hasConcept C529173508 @default.
• W4235417919 hasConcept C548217200 @default.
• W4235417919 hasConcept C86803240 @default.
• W4235417919 hasConcept C97686452 @default.
• W4235417919 hasConceptScore W4235417919C11821877 @default.
• W4235417919 hasConceptScore W4235417919C124101348 @default.
• W4235417919 hasConceptScore W4235417919C139002025 @default.
• W4235417919 hasConceptScore W4235417919C154945302 @default.
• W4235417919 hasConceptScore W4235417919C173608175 @default.
• W4235417919 hasConceptScore W4235417919C177264268 @default.
• W4235417919 hasConceptScore W4235417919C18903297 @default.
• W4235417919 hasConceptScore W4235417919C199360897 @default.
• W4235417919 hasConceptScore W4235417919C199519371 @default.
• W4235417919 hasConceptScore W4235417919C202444582 @default.
• W4235417919 hasConceptScore W4235417919C206588197 @default.
• W4235417919 hasConceptScore W4235417919C2776760102 @default.

• next