Conference Papers
Year : 2025
Delphine Demange : Connect in order to contact the contributor
https://hal.science/hal-04851772
Submitted on : Friday, December 20, 2024-3:34:20 PM
Last modification on : Sunday, December 22, 2024-3:12:25 AM
Dates and versions
Identifiers
- HAL Id : hal-04851772 , version 1
Cite
Tony Law, Delphine Demange, Sandrine Blazy. A Mechanized Semantics for Dataflow Circuits. ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2025, Singapore, Singapore. ⟨hal-04851772⟩
Collections
0
View
0
Download