FLARE v2：一种递归框架，用于在常见教学语言和抽象层次上进行程序理解
FLARE v2: A Recursive Framework for Program Comprehension Across Common Teaching Languages and Levels of Abstraction
AI总结：
FLARE v2是一种递归框架，用于在常见教学语言和抽象层次上描述程序意义，通过元素和绑定分析提升程序理解。
摘要：
在Heath等人（2025）的课堂框架基础上，本文提出了FLARE v2作为一种递归、符号学导向的框架，用于在常见教学语言的抽象层次上描述程序意义。它将FLARE v1的层级重新定义为一个循环：识别界定元素（接收、发送、影响、共享），分析绑定沿两个维度（因果-时间和交际），并将绑定集视为下一个层次的新元素。因果-时间绑定有三种子类型——顺序、分支和事件，以区分用户编写的控制流与事件驱动的控制，其调度隐藏在运行时中。一个组合阶梯图可视化了从块和语句通过段和系统进行的相同组合移动。FLARE v2的范围限定在典型的初等和低中等教育课程中的命令式和事件驱动环境。在系统层次之上，行为越来越受到代码和操作系统环境（调度、基础设施、权限、合同、失败、平台政策）之间交互的影响。在此处，元素和绑定词汇仍保持为结构基础，但解释的连续性通常需要覆盖环境约束的叠加层。事件绑定和叠加层共同承担着教学角色——在关键因果机制不完全可见于所编写的产物时，保持一致的结构推理。面向对象设计推理、显式并发模型、分布式系统和函数式范式被视作未来扩展；实现和评估留待未来工作。
英文摘要：
Building on the classroom framework in Heath et al. (2025), this paper proposes FLARE v2 as a recursive, semiotically informed account of how program meaning can be described across abstraction scales in common teaching languages. It reframes FLARE v1's tiers as one cycle: identify bounded elements (Receives, Sends, Effects, Shares), analyse bindings along two dimensions (Causal-Temporal and Communicative), and treat the bound set as a new element at the next scale. Causal-Temporal binding has three subtypes - Sequential, Branch, and Event - to distinguish user-authored control flow from event-driven control whose dispatch is hidden in the runtime. A Compositional Ladder visualises the same compositional move from blocks and statements through segments and systems. FLARE v2 is scoped to imperative and event-driven environments typical of primary and lower-secondary curricula. Above the system layer, behaviour is increasingly shaped by interaction between code and operating context (scheduling, infrastructure, permissions, contracts, failures, platform policy). Here, the element-and-binding vocabulary remains a structural baseline, but continuity of explanation typically requires overlays that make environmental constraints explicit. Event binding and overlays serve a common pedagogical role - preserving coherent structural reasoning where key causal mechanisms are not fully visible in the authored artefact. OOP design reasoning, explicit concurrency models, distributed systems, and functional paradigms are treated as future extensions; implementation and evaluation are left for future work.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
