Results 1 to 9 of 9
Sort by:

  • 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...