Results 1 to 8 of 8
Sort by:

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