Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 11 of 11 for “"Debuggers"”.
-
A language independent debugger semantics based debugging in K
… 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 …
-
PECCit: An Omniscient Debugger for Web Development
… and guessing where errors occur. Omniscient debuggers offer back-in-time debugging capabilities to make this task easier. These debuggers trace the program allowing the user to navigate forwards and backwards through the execution, examine variable histories, and visualize program data and …
-
Interactive source-level debugging of globally optimized code with expected behavior
Optimizing compilers and source-level debuggers have become essential for program development. However, their basic premises differ, so it is difficult for them to coexist within a programming environment. The primary purpose of a compiler is to make a program run faster while preserving the …
-
AdaTAD - a debugger for the Ada multi-task environment
… machine architectures. Therefore, separate debuggers are not necessary for each implementation of Ada. Moreover, since AdaTAD is designed to allow debugging of tasks, AdaTAD will also support debugging in a distributed environment. That means that, if the tasks of a user's program are …
-
A formal semantics of C with applications
… degrees of effort, tools such as interpreters, debuggers, and model-checkers, together with tools that check for memory safety, races, deadlocks, and undefined behavior are then generated from the semantics. Being executable, the semantics has been thoroughly tested against the GCC torture test …
-
Understanding asynchronous code
… its asynchronous and dynamic nature. Traditional debuggers are often little help because the language's idioms rely heavily on non-linear control flow via function pointers. The aim of this work is to create a debugging interface that helps users understand complicated control flow in languages …
-
Software lock elision for x86 machine code
… and often means that standard compilers and debuggers can no longer be used. At the same time, overheads associated with software transactional memory fail to motivate programmers to expend the needed effort to use software transactional memory. The only way around the overheads in the case …
-
Implementation of the critical chain project management methodology in IBM's S/390 software development environment
… programming, high-level languages, source-level debuggers, and object-oriented programming. As in many industries, a key challenge in the Software industry is the reliable delivery of products in an environment of ever decreasing product cycle times. Recent work by Eliyahu M. Goldratt suggests …
-
Democratizing High-Performance DSL Development with the BuildIt Framework
… having to make any changes to off-the-shelf debuggers or mess with complex debugging formats. Next, I show how applying D2X to the BuildIt system greatly improves the debugging experience for all DSLs written with BuildIt.
-
Studio e implementazione di strumenti per lo sviluppo software nei sistemi basati su FPGA.
… protocols to interface to the client debuggers. The on-chip hardware portion of eBug is realized with a new approach: rather than being built into the base pipelined data path, it is a loadable logic module that uses the standard Extension interface of the processor. This accomplishes …