Deltas for Functional Programs with Algebraic Data Types-Reference-Cited by-同舟云学术

Deltas for Functional Programs with Algebraic Data Types

Published:2023-08-28 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A
language:
Short-container-title:

Author:

Damiani Ferruccio¹^ORCID,Kamburjan Eduard²^ORCID,Lienhardt Michael³^ORCID,Paolini Luca¹^ORCID

Affiliation:

1. University of Turin, Turin, Italy

2. University of Oslo, Oslo, Norway

3. ONERA, Paleseau, France

Funder

Ministero dell'Università e della Ricerca

SIRIUS

RCN

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3579027.3608977

Reference25 articles.

1. Scaling step-wise refinement

2. Compositional type checking of delta-oriented software product lines

3. Sheng Chen , Martin Erwig , and Eric Walkingshaw . 2012. An Error-Tolerant Type System for Variational Lambda Calculus (ICFP '12) . Association for Computing Machinery , New York, NY, USA , 29--40. https://doi.org/10.1145/2364527.2364535 10.1145/2364527.2364535 Sheng Chen, Martin Erwig, and Eric Walkingshaw. 2012. An Error-Tolerant Type System for Variational Lambda Calculus (ICFP '12). Association for Computing Machinery, New York, NY, USA, 29--40. https://doi.org/10.1145/2364527.2364535

4. Extending Type Inference to Variational Programs

5. Dave Clarke , Radu Muschevici , José Proença , Ina Schaefer , and Rudolf Schlatte . 2010 . Variability Modelling in the ABS Language . In FMCO (LNCS , Vol. 6957). Springer, 204-- 224 . https://doi.org/10.1007/978-3-642-25271-6_11 10.1007/978-3-642-25271-6_11 Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, and Rudolf Schlatte. 2010. Variability Modelling in the ABS Language. In FMCO (LNCS, Vol. 6957). Springer, 204--224. https://doi.org/10.1007/978-3-642-25271-6_11