2026-09-21T02:28:14Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/101590 2023-07-11 col_2142_5131 col_2142_10761 com_2142_5130 com_2142_10755 com_2142_234

Roşu, Grigore Saxena, Manasvi 2018-09-27T16:17:53Z 2018-09-27T16:17:53Z 2018-07-17 2018-08 This works presents the K debugger - a language independent program debugger. The debugger is a part of the suite of tools that form the K framework. Conventional language dependent debuggers rely on an ad-hoc model of the underlying programming semantics, and may thus be incapable, or inaccurate in their ability to rectify a program’s behavior. The K debugger uses a different approach - it’s parametric over the K semantics of the programming language, which exposes accurate and subtle faults. The K debugger generalizes behaviors of conventional debuggers, providing users with a uniform interface that works across programming languages. Moreover, the K debugger is formal, performant and highly configurable, allowing it to adapt to the any programming language. This makes the K debugger a suitable replacement to traditional language specific debuggers. Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2018-09-27 without embargo terms The student, Manasvi Saxena, accepted the attached license on 2018-07-16 at 02:20. The student, Manasvi Saxena, submitted this Thesis for approval on 2018-07-16 at 02:26. This Thesis was approved for publication on 2018-07-17 at 13:35. DSpace SAF Submission Ingestion Package generated from Vireo submission #12881 on 2018-09-27 at 10:48:41 Made available in DSpace on 2018-09-27T16:17:53Z (GMT). No. of bitstreams: 2 SAXENA-THESIS-2018.pdf: 353256 bytes, checksum: 06b1435904a722640580e7847eec7aad (MD5) LICENSE.txt: 4211 bytes, checksum: 51e53087da2f02c6f3d685292c219959 (MD5) Previous issue date: 2018-07-17 application/pdf http://hdl.handle.net/2142/101590 en Copyright 2018 Manasvi Saxena Debugging Semantics K Framework A language independent debugger semantics based debugging in K text text Computer Science Computer Science University of Illinois at Urbana-Champaign Thesis M.S.