Certificate-Carrying Transformation of Event-Driven Block Programs
2026-07-02T08:52:02Z•2730b353b8effebc3cd969ea7c0c64a5cf265be239d79f07756102cb1bb720b4
What happened
This batch contains multiple programming-languages and formal-methods papers: (1) “Certificate-Carrying Transformation of Event-Driven Block Programs” presents a certificate-carrying, source-to-source rewrite framework and a small, fail-closed checker for Scratch-style concurrent/event-driven programs; the checker recomputes all semantic side conditions, is mechanized in Lean, supports six rewrite families, and was evaluated on 300 real Scratch projects with fast certification and zero false accepts in an adversarial campaign after fixing eight audit-found cases. (2) “Practical Range Refinment
Why it matters
A reviewed impact interpretation has not been published for this record.
Evidence and limitations
- Source ID
- arxiv_cs_pl
- Record identifier
- 2730b353b8effebc3cd969ea7c0c64a5cf265be239d79f07756102cb1bb720b4
- Enrichment time
- 2026-07-02T08:52:02Z
- AI-assisted enrichment
- Yes
This record may overlap with other records. Its enrichment can be incomplete or wrong, and machine assistance was used. Validate consequential decisions against the linked source and your own environment.