Exportar Publicação

Santos, A. L. & Caniço, A. B. (N/A). Modeling structured programming with Strudel: A simulation runtime for programming education tools. Software and Systems Modeling. N/A

A. L. Santos and A. M. Caniço,  "Modeling structured programming with Strudel: A simulation runtime for programming education tools", in Software and Systems Modeling, vol. N/A, N/A

@article{santosN/A_1766774970332,
	author = "Santos, A. L. and Caniço, A. B.",
	title = "Modeling structured programming with Strudel: A simulation runtime for programming education tools",
	journal = "Software and Systems Modeling",
	year = "N/A",
	volume = "N/A",
	number = "",
	doi = "10.1007/s10270-025-01337-7",
	url = "https://link.springer.com/journal/10270"
}

TY  - JOUR
TI  - Modeling structured programming with Strudel: A simulation runtime for programming education tools
T2  - Software and Systems Modeling
VL  - N/A
AU  - Santos, A. L.
AU  - Caniço, A. B.
PY  - N/A
SN  - 1619-1366
DO  - 10.1007/s10270-025-01337-7
UR  - https://link.springer.com/journal/10270
AB  - Structured programming embraces fundamental concepts represented in most general-purpose languages: sequence, selection, repetition, assignment, procedures, and recursion. We present Strudel, an executable modeling language for structured programming designed with the needs of educational tools in mind. Instead of relying on generated source-level metadata (language-specific, as in debuggers) or program instrumentation (that transforms executables or ASTs), models of programs are retained at runtime. A model drives a simulation of program execution with direct access to its elements without abstracting details—which are useful for fine-grained error reporting and inspection. We materialized the approach in a meta-programming library where a stack-based execution of programs is simulated in an embeddable virtual machine. By programming against the virtual machine API and the meta-model, third parties can observe a wide range of execution events in detail, such as errors, reachability, state changes, loop iterations, call stack, or memory allocation, to synthesize information about program properties. We developed an educational platform for Java that translates code into Strudel models and uses Strudel’s virtual machine as the runtime environment. The platform is in production as courseware, standing as a proof of viability, and features inspection of program traces to assist experimentation and debugging (probes), white-box tests for verifying algorithmic properties, and generation of questions about code to assess comprehension. 
ER  -