• GAP

  • Referenced in 3154 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Commonloops

  • Referenced in 7 articles [sw08974]
  • CommonLoops: merging Lisp and object-oriented programming. CommonLoops...
  • Specware

  • Referenced in 25 articles [sw11715]
  • Specware is a software engineering tool that automatically...
  • Simula 67

  • Referenced in 137 articles [sw21333]
  • Simula is the name of two simulation programming...