Compositional type-checking for delta-oriented programming

Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani. Compositional type-checking for delta-oriented programming. In Paulo Borba, Shigeru Chiba, editors, Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011. pages 43-56, ACM, 2011. [doi]

@inproceedings{SchaeferBD11,
  title = {Compositional type-checking for delta-oriented programming},
  author = {Ina Schaefer and Lorenzo Bettini and Ferruccio Damiani},
  year = {2011},
  doi = {10.1145/1960275.1960283},
  url = {http://doi.acm.org/10.1145/1960275.1960283},
  tags = {object-oriented programming, composition, type checking, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/SchaeferBD11},
  cites = {0},
  citedby = {0},
  pages = {43-56},
  booktitle = {Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011},
  editor = {Paulo Borba and Shigeru Chiba},
  publisher = {ACM},
  isbn = {978-1-4503-0605-8},
}