Functional Block Programming and Debugging

Conférence Chapitre d'actes Functional Block Programming and Debugging eng 2020 author Racordon Dimi 0000-0003-0299-3993 748253 Dimitri Racordon author Emmastac Emmanouela 934295 Emmanouela emmastac author Morard Damien 0000-0001-6887-6357 771880 author Buchs Didier 22665 Recent years have seen the inclusion of introductory programming courses as early as in elementary schools, as an answer to the onminpresence of computer technology. While some curriculums rely on traditional text-based languages, such as Java or Python, others advocate for more accessible visual programming environments, such as Scratch or Microsoft MakeCode. Most of these tools adopt an imperative paradigm in which programs are expressed using pre-defined instruction blocks. This setup is particularily well suited to interactive debugging environments, using the common stepping model to control execution. However, as they focus on control rather than data, they often lack appropriate mechanisms to manipulate non-trivial data structures. In an effort to provide an alternative approach, we are developing FunBlocks, a hybrid programming environment based on algebraic data types and term rewriting. Rewriting systems emphasis on data rather than control, enabling students and novices to create a better understanding of data structures, while letting them define elaborate transformation strategies without the need to get familiar with the ad-hoc semantics of pre-defined control-flow statements. Instead, terms describe the program's state syntactically, while rewriting rules describe its semantics. Furthermore, terms and rewriting rules also provide a simple way to adopt the traditional watch expressions and step-by-step execution, respectively, whereas such techniques are often difficult to apply on declarative programs. This paper gives an overview of the design principles of FunBlocks, with a particular focus on its visual editor and debugger. Visual programming Functional block programming Funblock Dewey 025.063 13 Centre universitaire d'informatique 0D3 32 Département d'informatique 18 false 727 Software Modeling and Verification Conference’17 July 2017 Washington, DC, USA 8639b25f-11a4-44f7-99fe-aded438e0d77 Proceedings chapter (Accepted version) Public Functional_Block_Programming_and_Debugging.pdf 549401 application/pdf openAccess Centres et instituts / Centre universitaire d'informatique Faculté des sciences / Département d'informatique

Title	Published in	Access level	OA Policy	Year	Views	Downloads

Functional Block Programming and Debugging	Conference’17			2020	257	9

Archive ouverte UNIGE

emmastac, Emmanouela