Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916792054579200 |
|---|---|
| author | Zhong, Zhiyao Omar, Cyrus |
| author_facet | Zhong, Zhiyao Omar, Cyrus |
| contents | Students in programming languages and formal logic courses often struggle with constructing rule-based derivation trees due to the complexity of applying inference rules, the lack of immediate feedback, and the manual effort required for handwritten proofs. We present Hazel Deriver, a live, web-based editor designed to scaffold derivation construction through multiple layers of support. Built on the Hazel live programming environment, it provides a structured, interactive experience that encourages iterative exploration and real-time feedback. A preliminary user study with former students suggests that Hazel Deriver reduces the perceived difficulty of derivation tasks while improving conceptual understanding and engagement. We discuss the design of its layered scaffolding features and raise questions about balancing system guidance with learner autonomy. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_10781 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations Zhong, Zhiyao Omar, Cyrus Programming Languages 68N15, 68U35 D.3.0; K.3.2 Students in programming languages and formal logic courses often struggle with constructing rule-based derivation trees due to the complexity of applying inference rules, the lack of immediate feedback, and the manual effort required for handwritten proofs. We present Hazel Deriver, a live, web-based editor designed to scaffold derivation construction through multiple layers of support. Built on the Hazel live programming environment, it provides a structured, interactive experience that encourages iterative exploration and real-time feedback. A preliminary user study with former students suggests that Hazel Deriver reduces the perceived difficulty of derivation tasks while improving conceptual understanding and engagement. We discuss the design of its layered scaffolding features and raise questions about balancing system guidance with learner autonomy. |
| title | Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations |
| topic | Programming Languages 68N15, 68U35 D.3.0; K.3.2 |
| url | https://arxiv.org/abs/2506.10781 |