Results 1 to 6 of 6
Sort by:

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