Results 1 to 20 of 42
Sort by:

  • Abella
  • Referenced in 52 articles [sw09461]
  • syntactic structure. Abella utilizes a two-level logic approach to specification and reasoning. One level...

  • ESPRESSO
  • Referenced in 6 articles [sw08227]
  • logic minimalization. (?? Espresso is a two-level (PLA) logic minimizer developed at the University...

  • MiniML
  • Referenced in 47 articles [sw29625]
  • type system based on the intuitionistic modal logic S4 provides an expressive framework for specifying ... embeddng of Nielson and Nielson’s two-level functional language in our functional language Mini...

  • Delphin
  • Referenced in 18 articles [sw21365]
  • novel and distinctive features include a two-level design that distinguishes cleanly between the tasks ... programming with data. One level is the logical framework LF [5], serving as Delphin...

  • ARMS
  • Referenced in 65 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...

  • CoCoA
  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...

  • Coq
  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...

  • HYBRID
  • Referenced in 19 articles [sw00421]
  • Hybrid: a package for higher-order syntax in...

  • Macaulay2
  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...

  • Maple
  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...

  • Matlab
  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...

  • R
  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...

  • SINGULAR
  • Referenced in 1508 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...

  • ML

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

  • ALGOL 68
  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...

  • DYNAMO
  • Referenced in 261 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...

  • S-PLUS
  • Referenced in 615 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...

  • AMPL
  • Referenced in 617 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...