TY  - RPRT
TI  - Construction Contracts for Generated Embedded Domain-Specific Language Programs: A Measurement Protocol and a Conditional Effect
AU  - Haowen Guo
AU  - Yangzhao Huang
PY  - 2026
UR  - https://arxiv.org/abs/2611.06525
ID  - 2611.06525
ER  -