A core calculus for dynamic delta-oriented programming

DOI10.1007/S00236-017-0293-6MaRDI QIDQ1647772zbMATH OpenOpenAlexFDO

Authors Ferruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl

Publication date 26 June 2018

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2318/1633408

zbMATH Keywords

reconfiguration graphsoftware product linedelta-oriented programmingfeature-oriented programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Recommendations

• Towards a calculus for dynamic architectures
• scientific article; zbMATH DE number 512961
• A calculus of refinements for program derivations
• A lambda-calculus for dynamic binding
• The \(\Delta\)-calculus: syntax and types
• A calculus of program adaption and its applications
• Automata, Languages and Programming
• A calculus of coroutines

Cites work

• scientific article; zbMATH DE number 1728246 (Why is no real title available?)
• An Overview of CaesarJ
• Compositional type checking of delta-oriented software product lines
• Delegation by object composition
• Incremental model-based testing of delta-oriented software product lines
• On flexible dynamic trait replacement for Java-like languages
• Refined effects for unanticipated object re-classification: \(\mathcal{F}{\mathit ickle}_{3}\) (extended abstract)
• Software Product Line Engineering
• Transactions on Aspect-Oriented Software Development VI. Special issue on aspects and model-driven engineering

Cited in

(4)

• Theoretical Computer Science
• Towards flexible feature composition: static and dynamic binding in software product lines.
• Verification of software product lines with delta-oriented slicing
• Compositional type checking of delta-oriented software product lines

Describes a project that uses

Uses Software

• JavAdaptor
• DeltaJ
• gbeta
• CaesarJ
• FeatureC++
• HyVar
• Featherweight Java
• AspectJ

This page was built for publication: A core calculus for dynamic delta-oriented programming

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