Results 21 to 40 of 139
Sort by:

  • PRISM
  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...

  • ML

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

  • Modula
  • Referenced in 197 articles [sw01224]
  • The Modula programming language is a descendant of...

  • PERL
  • Referenced in 270 articles [sw01225]
  • Programming Perl. Perl is a language for easily...

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

  • Tiburon
  • Referenced in 16 articles [sw01312]
  • Tiburon is a tree transducer package written by...

  • WinALT
  • Referenced in 9 articles [sw01533]
  • WinALT: a simulation system for computations with spatial...

  • Smalltalk
  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...

  • WoLFram
  • Referenced in 15 articles [sw02075]
  • WoLFram -- a word level framework for formal verification...

  • ELAN
  • Referenced in 108 articles [sw02179]
  • The ELAN system provides an environment for specifying...

  • SPADE
  • Referenced in 89 articles [sw02226]
  • In this paper we present SPADE, a new...

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

  • LOTOS
  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...

  • COMET
  • Referenced in 80 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial...

  • NEURON
  • Referenced in 187 articles [sw03059]
  • Parallel network simulations with NEURON. The NEURON simulation...

  • SPIN
  • Referenced in 723 articles [sw03455]
  • Spin is a popular open-source software tool...

  • Haskell
  • Referenced in 879 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...