• Lucid

  • Referenced in 39 articles [sw21485]
  • developed by M. McIlroy, J. Dennis, G. Kahn, and others. While the fundamental concepts ... processing the data while it is in motion through a dataflow network. A dataflow network...
  • Coq

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

  • Referenced in 163 articles [sw00834]
  • Scilab includes hundreds of mathematical functions. It has...
  • SUNDIALS

  • Referenced in 198 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • ML

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

  • Referenced in 20 articles [sw01794]
  • StreamIt is a programming language and a compilation...
  • Scicos

  • Referenced in 18 articles [sw01941]
  • Scicos is a graphical dynamical system modeler and...
  • C-HEAP

  • Referenced in 4 articles [sw02652]
  • C-HEAP: A heterogeneous multi-processor architecture template...
  • SIGNAL

  • Referenced in 51 articles [sw02915]
  • An ML-like module system for the synchronous...
  • ITSOL

  • Referenced in 154 articles [sw04031]
  • ITSOL is a library of iterative solvers for...
  • ARPACK

  • Referenced in 768 articles [sw04218]
  • ARPACK is a collection of Fortran77 subroutines designed...
  • HOL

  • Referenced in 472 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • Ptolemy

  • Referenced in 77 articles [sw07459]
  • A modular formal semantics for Ptolemy. Ptolemy is...
  • SPARSKIT

  • Referenced in 219 articles [sw07692]
  • SPARSKIT: A basic toolkit for sparse matrix computations...
  • Esterel

  • Referenced in 161 articles [sw20012]
  • Esterel is both a programming language, dedicated to...
  • ALGOL 60

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