Cited By
View all- Abounegm AKudasov NStepanov A(2024)Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming LanguageElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.405.1405(1-19)Online publication date: 10-Jul-2024
- Garanina NStaroletov SZyubin VAnureev I(2024)Model checking programs in process-oriented IEC 61131-3 Structured TextModeling and Analysis of Information Systems10.18255/1818-1015-2024-1-32-5331:1(32-53)Online publication date: 28-Mar-2024
- Guan ZCao YYu TWang ZWang DHu Z(2024)Semantics Lifting for Syntactic SugarProceedings of the ACM on Programming Languages10.1145/36897588:OOPSLA2(1336-1361)Online publication date: 8-Oct-2024
- Show More Cited By