• SAFECode

  • Referenced in 4 articles [sw13323]
  • SAFECode: Enforcing Alias Analysis for Weakly Typed Languages. Static analysis of programs in weakly typed ... possible memory errors due to dangling pointer references, uninitialized pointers, and array bounds overflow...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • Modula

  • Referenced in 197 articles [sw01224]
  • The Modula programming language is a descendant of...
  • Eiffel

  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • Datalog

  • Referenced in 292 articles [sw20023]
  • Datalog is a declarative logic programming language that...
  • TAJ

  • Referenced in 7 articles [sw33114]
  • TAJ: effective taint analysis of web applications. Taint...
  • SETL

  • Referenced in 26 articles [sw36325]
  • Programming with sets. An introduction to SETL. of...