Interfaces for Modular Reasoning in Context-Oriented Programming

Paul Leger, Hidehiko Masuhara, Ismael Figueroa. Interfaces for Modular Reasoning in Context-Oriented Programming. In COP '20: Proceedings of the 12th International Workshop on Context-Oriented Programming and Advanced Modularity, COP@ECOOP 2020, Virtual Event, 21 July 2020. ACM, 2020. [doi]

@inproceedings{LegerMF20,
  title = {Interfaces for Modular Reasoning in Context-Oriented Programming},
  author = {Paul Leger and Hidehiko Masuhara and Ismael Figueroa},
  year = {2020},
  doi = {10.1145/3422584.3423152},
  url = {https://doi.org/10.1145/3422584.3423152},
  researchr = {https://researchr.org/publication/LegerMF20},
  cites = {0},
  citedby = {0},
  booktitle = {COP '20: Proceedings of the 12th International Workshop on Context-Oriented Programming and Advanced Modularity, COP@ECOOP 2020, Virtual Event, 21 July 2020},
  publisher = {ACM},
  isbn = {978-1-4503-8144-4},
}