Treffer: Efficient Compilation and Execution of Synchronous Programs via Type-State Programming
Title:
Efficient Compilation and Execution of Synchronous Programs via Type-State Programming
Authors:
Source:
2025 23rd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE) MEMOCODE Formal Methods and Models for System Design (MEMOCODE), 2025 23rd ACM-IEEE International Symposium on. :62-66 Oct, 2025
Relation:
2025 23rd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)
Database:
IEEE Xplore Digital Library