Author:
Berry Gérard,Nicolas Cyprien,Serrano Manuel
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Survey of Multitier Programming;ACM Computing Surveys;2021-07-31
2. A Synchronous Effects Logic for Temporal Verification of Pure Esterel;Lecture Notes in Computer Science;2021
3. TopHat;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
4. A calculus for Esterel: if can, can. if no can, no can.;Proceedings of the ACM on Programming Languages;2019-01-02
5. Distributed system development with ScalaLoci;Proceedings of the ACM on Programming Languages;2018-10-24