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

DOI10.1016/J.JLAMP.2015.06.007zbMATH Open1346.68057OpenAlexW2208405779MaRDI QIDQ898607FDOQ898607

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

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

zbMATH Keywords

Featherweight Javaconfigurable systemsvariability encoding

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Types and programing languages
• Feature integration using a feature construct
• Compositional type checking of delta-oriented software product lines
• An error-tolerant type system for variational lambda calculus

Cited In (1)

• Verifying annotated program families using symbolic game semantics

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)