Delphine Demange

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A Mechanized Semantics for Dataflow Circuits
Tony Law and others (2025) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery (ACM)
A Mechanized Semantics for Dataflow Circuits − Artifact
Tony Law and others (2025) · Zenodo
Mechanised Semantics for Gated Static Single Assignment
Yann Herklotz and others (2023) · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)