Variability encoding: from compile-time to load-time variability

DOI10.1016/J.JLAMP.2015.06.007MaRDI QIDQ898607zbMATH OpenOpenAlexFDO

Authors Alexander von Rhein, Thomas Thüm, Ina Schaefer, Jörg Liebig, Sven Apel

Publication date 18 December 2015

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2015.06.007

zbMATH Keywords

Featherweight Javaconfigurable systemsvariability encoding

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Recommendations

• scientific article; zbMATH DE number 1931739
• Bias-variance tradeoffs in program analysis
• The variety of variables in computer-aided real-time programming
• Compile-time derivation of variable dependency using abstract interpretation
• scientific article; zbMATH DE number 3980460

Cites work

• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• An error-tolerant type system for variational lambda calculus
• Compositional type checking of delta-oriented software product lines
• Feature integration using a feature construct
• Types and programing languages

Cited in

(1)

• Verifying annotated program families using symbolic game semantics

Describes a project that uses

Uses Software

• TLA
• Featherweight Java
• SPLLIFT

This page was built for publication: Variability encoding: from compile-time to load-time variability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q898607)