Showing 2024Show all
2 papers · 1 filter
cs.SE2024
On-the-Fly Syntax Highlighting: Generalisation and Speed-ups
Marco Edoardo Palma, Alex Wolf, Pasquale Salza +1
On-the-fly syntax highlighting is the task of rapidly associating visual secondary notation values with each character of a language derivation. Research in this domain is driven b…
cs.SE2024
Trustworthy Distributed Certification of Program Execution
Alex Wolf, Marco Edoardo Palma, Pasquale Salza +1
Verifying the execution of a program is complicated and often limited by the inability to validate the code's correctness. It is a crucial aspect of scientific research, where it i…