| 1 |
T.: Language composition untangled
|
|
|
|
In: http://www.informatik.uni-marburg.de/~seba/publications/languagecomposition.pdf (2012)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
SugarJ: Librarybased syntactic language extensibility
|
|
|
|
In: http://www.informatik.uni-marburg.de/%7Eseba/publications/sugarj.pdf (2011)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Variability-aware parsing in the presence of lexical macros and conditional compilation
|
|
|
|
In: http://www.informatik.uni-marburg.de/%7Ekaestner/oopsla11_typechef.pdf (2011)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Variability-aware parsing in the presence of lexical macros and conditional compilation
|
|
|
|
In: http://www.cs.cmu.edu/~ckaestne/pdf/oopsla11_typechef.pdf (2011)
|
|
Abstract:
In many projects, lexical preprocessors are used to manage different variants of the project (using conditional compilation) and to define compile-time code transformations (using macros). Unfortunately, while being a simple way to implement variability, conditional compilation and lexical macros hinder automatic analysis, even though such analysis is urgently needed to combat variability-induced complexity. To analyze code with its variability, we need to parse it without preprocessing it. However, current parsing solutions use unsound heuristics, support only a subset of the language, or suffer from exponential explosion. As part of the TypeChef project, we contribute a novel variability-aware parser that can parse almost all unpreprocessed code without heuristics in practicable time. Beyond the obvious task of detecting syntax errors, our parser paves the road for further analysis, such as variability-aware type checking. We implement variability-aware parsers for Java and GNU C and demonstrate practicability by parsing the product line MobileMedia and the entire X86 architecture of the Linux kernel with 6065 variable features.
|
|
Keyword:
C; Categories and Subject Descriptors D.3.4 [Programming Languages; Coding Tools and Techniques General Terms Algorithms; conditional compilation; D.2.3 [Software Engineering; ifdef; Languages; Linux; Performance Keywords parsing; preprocessor; Processors; software product lines; variability
|
|
URL: http://www.cs.cmu.edu/~ckaestne/pdf/oopsla11_typechef.pdf
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.2892
|
|
BASE
|
|
Hide details
|
|
|
| 5 |
Reify Your Collection Queries for Modularity and Speed!
|
|
|
|
In: http://www.cs.cmu.edu/~ckaestne/pdf/aosd13.pdf
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Language composition untangled
|
|
|
|
In: http://www.mathematik.uni-marburg.de/%7Erendel/erdweg12language.pdf
|
|
BASE
|
|
Show details
|
|
|
|
|
