• Maude

  • Referenced in 698 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • Aglet

  • Referenced in 4 articles [sw13305]
  • Security-typed programming within dependently typed programming. Several...
  • Python

  • Referenced in 2042 articles [sw14460]
  • Python is a widely used high-level, general...
  • Word

  • Referenced in 166 articles [sw21849]
  • Microsoft Word is a word processor developed by...