• Macaulay2

  • Referenced in 1721 articles [sw00537]
  • level interpreted user language with a powerful debugger supporting the creation of new classes...
  • PETSc

  • Referenced in 1212 articles [sw04012]
  • Fortran and experience using a debugger such as gdb or dbx, it may require...
  • OCaml

  • Referenced in 271 articles [sw06363]
  • includes a comprehensive standard library, a replay debugger (ocamldebug), lexer (ocamllex) and parser (ocamlyacc) generators...
  • Esterel

  • Referenced in 163 articles [sw20012]
  • available. We provide a graphical symbolic debugger for Esterel. We also provide support for explicit...
  • Risa/Asir

  • Referenced in 111 articles [sw00806]
  • language. Furthermore, it has a debugger that provide a subset of commands ... widely used debugger of C language...
  • Isar

  • Referenced in 142 articles [sw04599]
  • basically the interpreter has a proof text debugger already built-in. The Isar subsystem...
  • veriSoft

  • Referenced in 91 articles [sw01489]
  • interactive graphical simulator that can drive existing debuggers for examining precisely the concurrent execution...
  • Prolog

  • Referenced in 69 articles [sw06518]
  • classical interactive interpreter (top-level) with a debugger. The Prolog part conforms...
  • DrScheme

  • Referenced in 30 articles [sw01265]
  • sophisticated programming tools, such as the static debugger, and its advanced language features, such ... context-sensitive syntax checker, and a static debugger. The stepper reduces Scheme programs to values ... also supports α-renaming. Finally, the static debugger provides a type inference system that explains...
  • Mosel

  • Referenced in 36 articles [sw04911]
  • tools such as the Mosel debugger and profiler. The Mosel libraries provide the neccessary functionality...
  • Polyp

  • Referenced in 31 articles [sw09131]
  • Examples of such functions are pretty printers, debuggers, equality functions, unifiers, pattern matchers, rewriting functions...
  • Hood

  • Referenced in 18 articles [sw13680]
  • Haskell Object Observation Debugger (HOOD) is a small post-mortem debugger for the lazy functional ... variable examination paradigm used by imperative language debuggers...
  • GrGen

  • Referenced in 21 articles [sw00387]
  • chasing objects by following references in the debugger...
  • GDB

  • Referenced in 14 articles [sw13041]
  • Project Debugger. GDB, the GNU Project debugger, allows you to see what is going...
  • C++ Builder

  • Referenced in 16 articles [sw18710]
  • fast, powerful, modern C++; one compiler, one debugger, one IDE, four platforms; amazing frameworks...
  • wamcc

  • Referenced in 11 articles [sw06519]
  • predicates, a top-level, a Prolog debugger and a WAM debugger. WAMCC is designed...
  • DDebugger

  • Referenced in 15 articles [sw09904]
  • have implemented Maude DDebugger, a declarative debugger for Maude, a high-performance system based...
  • PLUMP

  • Referenced in 14 articles [sw00718]
  • massively parallel computers. Along with a parallel debugger and a performance monitor, this environment provides...
  • TeaBag

  • Referenced in 6 articles [sw08980]
  • TeaBag: a functional logic debugger. We describe a debugger for functional logic computations. The debugger ... computations, which places novel demands on a debugger. We give an overview of the debugger ... functions and terms. We briefly describe the debugger’s architecture and its interaction with ... defective program to show in action debugger features and window screenshots...
  • ASPIDE

  • Referenced in 12 articles [sw06309]
  • including (more or less advanced) editors and debuggers. However, ASP still lacks an Integrated Development...