4 ms·
There's also a paper at the upcoming VMM workshop Boris Shingarov, Jan Vraný Debugging a Smalltalk VM assisted by large automated reasoning https://2025.progr
by johndoe0815 2y ago
There's also a paper at the upcoming VMM workshop
Boris Shingarov, Jan Vraný
Debugging a Smalltalk VM assisted by large automated reasoning
https://2025.programming-conference.org/home/MoreVMs-2025 https://2025.programming-conference.org/home/MoreVMs-2025