1.8k citations
- Centre National de la Recherche ScientifiqueFR202 papers
- University of ViennaAT150 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR133 papers
- Charles UniversityCZ128 papers
- European Organization for Nuclear ResearchCH125 papers
- Université Paris-SaclayFR119 papers
- CEA Paris-SaclayFR116 papers
- Institute of High Energy PhysicsCN110 papers
- University of BolognaIT108 papers
- Centro de Investigaciones Energéticas, Medioambientales y TecnológicasES103 papers
- FZU ‒ Institute of Physics of the Academy of Sciences of the Czech RepublicCZ102 papers
- Sapienza University of RomeIT100 papers
Showing 2022 · cs.LOShow all
2 papers · 2 filters
cs.LO2022
Automated Instantiation of Control Flow Tracing Exercises
Clemens Eisenhofer, Martin Riener
One of the first steps in learning how to program is reading and tracing existing code. In order to avoid the error-prone task of generating variations of a tracing exercise, our t…
cs.LO2022★ 1 cited
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software
João Marcos, Walther Neuper, Pedro Quaresma
This EPTCS volume contains the proceedings of the ThEdu'21 workshop, promoted on 11 July 2021, as a satellite event of CADE-28. Due to the COVID-19 pandemic, CADE-28 and all its co…