2026-07-24T03:13:06Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:24288 2025-12-12T15:04:20Z ddc:004 open_access

Debugging a Smalltalk VM Assisted by Large Automated Reasoning (Extended Abstract) Shingarov, Boris Vraný, Jan Smalltalk Virtual Machine Automated Reasoning Debugging ISA Specification We show how a full-scale automated-reasoning engine implemented in Smalltalk can be applied to assist in the programmer’s cognitive task of traversing abstraction levels. This approach follows naturally from our definition of debugging as any activity aimed towards understanding a program. We introduce the notion of "dimensions of abstraction", give two examples ("stratum" and "mode"), and show how it is applied in debugging a native compiler backend. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Boris Shingarov and Jan Vraný 2025 Is Part Of OASIcs, Volume 134, Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.Programming.2025.4 urn:nbn:de:0030-drops-242881 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Programming.2025.4 eng https://creativecommons.org/licenses/by/4.0/legalcode