Matches in SemOpenAlex for { <https://semopenalex.org/work/W1995568418> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1995568418 abstract "Software product lines have gained momentum as an approach to generate many variants of a program, each tailored to a specific use case, from a common code base. However, the implementation of product lines raises new challenges, as potentially millions of program variants are developed in parallel. In prior work, we and others have developed product-line-aware type systems to detect type errors in a product line, without generating all variants. With TypeChef, we build a similar type checker for product lines written in C that implements variability with #ifdef directives of the C preprocessor. However, a product-line-aware type system for C is more difficult than expected due to several peculiarities of the preprocessor, including lexical macros and unrestricted use of #ifdef directives. In this paper, we describe the problems faced and our progress to solve them with TypeChef. Although TypeChef is still under development and cannot yet process arbitrary C code, we demonstrate its capabilities so far with a case study: By type checking the open-source web server Boa with potentially 2110 variants, we found type errors in several variants." @default.
- W1995568418 created "2016-06-24" @default.
- W1995568418 creator A5002796391 @default.
- W1995568418 creator A5009188447 @default.
- W1995568418 creator A5055453571 @default.
- W1995568418 creator A5086853013 @default.
- W1995568418 date "2010-10-10" @default.
- W1995568418 modified "2023-10-02" @default.
- W1995568418 title "TypeChef" @default.
- W1995568418 cites W1608654004 @default.
- W1995568418 cites W1625440377 @default.
- W1995568418 cites W1972612110 @default.
- W1995568418 cites W1999214372 @default.
- W1995568418 cites W2006617204 @default.
- W1995568418 cites W2008626182 @default.
- W1995568418 cites W2036134187 @default.
- W1995568418 cites W2055818134 @default.
- W1995568418 cites W2098123460 @default.
- W1995568418 cites W2099587209 @default.
- W1995568418 cites W2112000202 @default.
- W1995568418 cites W2117352154 @default.
- W1995568418 cites W2120119918 @default.
- W1995568418 cites W2130195901 @default.
- W1995568418 cites W2131706255 @default.
- W1995568418 cites W2142960988 @default.
- W1995568418 cites W2146146776 @default.
- W1995568418 cites W2151823662 @default.
- W1995568418 cites W2161565163 @default.
- W1995568418 cites W2165448973 @default.
- W1995568418 cites W2182394655 @default.
- W1995568418 doi "https://doi.org/10.1145/1868688.1868693" @default.
- W1995568418 hasPublicationYear "2010" @default.
- W1995568418 type Work @default.
- W1995568418 sameAs 1995568418 @default.
- W1995568418 citedByCount "61" @default.
- W1995568418 countsByYear W19955684182012 @default.
- W1995568418 countsByYear W19955684182013 @default.
- W1995568418 countsByYear W19955684182014 @default.
- W1995568418 countsByYear W19955684182015 @default.
- W1995568418 countsByYear W19955684182016 @default.
- W1995568418 countsByYear W19955684182017 @default.
- W1995568418 countsByYear W19955684182018 @default.
- W1995568418 countsByYear W19955684182019 @default.
- W1995568418 countsByYear W19955684182020 @default.
- W1995568418 countsByYear W19955684182021 @default.
- W1995568418 countsByYear W19955684182022 @default.
- W1995568418 countsByYear W19955684182023 @default.
- W1995568418 crossrefType "proceedings-article" @default.
- W1995568418 hasAuthorship W1995568418A5002796391 @default.
- W1995568418 hasAuthorship W1995568418A5009188447 @default.
- W1995568418 hasAuthorship W1995568418A5055453571 @default.
- W1995568418 hasAuthorship W1995568418A5086853013 @default.
- W1995568418 hasConcept C41008148 @default.
- W1995568418 hasConceptScore W1995568418C41008148 @default.
- W1995568418 hasFunder F4320334678 @default.
- W1995568418 hasLocation W19955684181 @default.
- W1995568418 hasOpenAccess W1995568418 @default.
- W1995568418 hasPrimaryLocation W19955684181 @default.
- W1995568418 hasRelatedWork W1596801655 @default.
- W1995568418 hasRelatedWork W2130043461 @default.
- W1995568418 hasRelatedWork W2350741829 @default.
- W1995568418 hasRelatedWork W2358668433 @default.
- W1995568418 hasRelatedWork W2376932109 @default.
- W1995568418 hasRelatedWork W2382290278 @default.
- W1995568418 hasRelatedWork W2390279801 @default.
- W1995568418 hasRelatedWork W2748952813 @default.
- W1995568418 hasRelatedWork W2899084033 @default.
- W1995568418 hasRelatedWork W2530322880 @default.
- W1995568418 isParatext "false" @default.
- W1995568418 isRetracted "false" @default.
- W1995568418 magId "1995568418" @default.
- W1995568418 workType "article" @default.