Results 1 to 5 of 5
Sort by:

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