• RelView

  • Referenced in 101 articles [sw00798]
  • The RelView-System is an interactive tool for...
  • Maude

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

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

  • Referenced in 2 articles [sw20050]
  • zlib: A Massively Spiffy Yet Delicately Unobtrusive Compression...
  • JFlow

  • Referenced in 24 articles [sw20595]
  • JFlow: practical mostly-static information flow control. A...
  • MJ

  • Referenced in 12 articles [sw24342]
  • MJ (Middleweight Java) - MJ: an imperative core calculus...