Jean-Louis Colaço. An overview of Scade, a synchronous language for safety-critical software (keynote). In REBLS 2020: Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Virtual Event, USA, November 16, 2020. pages 1, ACM, 2020. [doi]
Abstract is missing.