• Isabelle

  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • ML

  • Referenced in 514 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • COBOL

  • Referenced in 227 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...
  • GOLOG

  • Referenced in 170 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • HALO

  • Referenced in 5 articles [sw02527]
  • HALO --- a fuzzy programming language. This paper deals...
  • Python

  • Referenced in 1352 articles [sw14460]
  • Python is a widely used high-level, general...
  • TensorFlow

  • Referenced in 280 articles [sw15170]
  • TensorFlow™ is an open source software library for...
  • XPath

  • Referenced in 370 articles [sw15780]
  • XPath 2.0 is an expression language that allows...
  • ALGOL 60

  • Referenced in 661 articles [sw21807]
  • ALGOL 60 (short for Algorithmic Language 1960) is...