13 citations · 13 across the 2 of their papers we have counts for
2 papers
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.LO2014★ 13 cited
Advanced Proof Viewing in ProofTool
Tomer Libal, Martin Riener, Mikheil Rukhaia
Sequent calculus is widely used for formalizing proofs. However, due to the proliferation of data, understanding the proofs of even simple mathematical arguments soon becomes impos…