• Esterel

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

  • Referenced in 4 articles [sw13074]
  • programming language, a symbolic debugger, a profiler, an interpreter, an optimizing compiler that delivers stand...
  • PolyML

  • Referenced in 3 articles [sw16983]
  • programming interface. There is also a symbolic debugger for Poly/ML...
  • SPiDER

  • Referenced in 3 articles [sw00900]
  • SPiDER—An advanced symbolic debugger for Fortran 90/HPF programs. Debuggers play an important role...
  • JavaSPI

  • Referenced in 3 articles [sw23647]
  • Java model can be symbolically executed in the Java debugger, formally verified with ProVerif ... relates the Java refined implementation to the symbolic model verified by ProVerif, so that...
  • VIRT

  • Referenced in 2 articles [sw02513]
  • special-purpose text editor and a debugger, which allows stepwise tracing of the program ... ensures full control over all interpreter components (symbol table, stack, heap). VIRT has been tested...
  • Macaulay2

  • Referenced in 1721 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • OCaml

  • Referenced in 271 articles [sw06363]
  • OCaml is the most popular variant of the...
  • CUMULVS

  • Referenced in 17 articles [sw06757]
  • CUMULVS: Collaborative User Migration, User Library for Visualization...
  • JavaScript

  • Referenced in 161 articles [sw06868]
  • JavaScript is a scripting language for computers. It...
  • Mercury

  • Referenced in 67 articles [sw08333]
  • Mercury is a logic/functional programming language which combines...
  • WIEN97

  • Referenced in 10 articles [sw14850]
  • WIEN97, A full potential linearized augmented plane wave...