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]

Abstract

Abstract is missing.