Feedback on the Current Page
Published in: OASIcs, Volume 134, Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)
Boris Shingarov and Jan Vraný. Debugging a Smalltalk VM Assisted by Large Automated Reasoning (Extended Abstract). In Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025). Open Access Series in Informatics (OASIcs), Volume 134, pp. 4:1-4:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{shingarov_et_al:OASIcs.Programming.2025.4,
author = {Shingarov, Boris and Vran\'{y}, Jan},
title = {{Debugging a Smalltalk VM Assisted by Large Automated Reasoning}},
booktitle = {Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)},
pages = {4:1--4:6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-382-9},
ISSN = {2190-6807},
year = {2025},
volume = {134},
editor = {Edwards, Jonathan and Perera, Roly and Petricek, Tomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Programming.2025.4},
URN = {urn:nbn:de:0030-drops-242881},
doi = {10.4230/OASIcs.Programming.2025.4},
annote = {Keywords: Smalltalk, Virtual Machine, Automated Reasoning, Debugging, ISA Specification}
}