• TAMC

  • Referenced in 72 articles [sw07198]
  • dependent function is a scalar. The described method for adjoint code generation is based ... Conflicts that occur due to loops and redefinition of variables are also discussed. Direct coding ... distinct advantage. An implementation of the method, described in this article, is the tangent linear...
  • AUTO

  • Referenced in 903 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • BETA

  • Referenced in 29 articles [sw03114]
  • Synchronization abstraction in the BETA programming language. This...
  • CLOS

  • Referenced in 51 articles [sw03334]
  • An environment for DEVS-based multiformalism simulation in...
  • Eiffel

  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • AUTO-86

  • Referenced in 276 articles [sw04220]
  • AUTO is a software for continuation and bifurcation...
  • JML

  • Referenced in 188 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...
  • Spec#

  • Referenced in 121 articles [sw04598]
  • The Spec# programming system is a new attempt...
  • OCaml

  • Referenced in 272 articles [sw06363]
  • OCaml is the most popular variant of the...
  • Scala

  • Referenced in 86 articles [sw07180]
  • Steps in Scala. An introduction to object-functional...
  • LISP

  • Referenced in 126 articles [sw07201]
  • Lisp (historically, LISP) is a family of computer...
  • Commonloops

  • Referenced in 7 articles [sw08974]
  • CommonLoops: merging Lisp and object-oriented programming. CommonLoops...
  • Creol

  • Referenced in 25 articles [sw09421]
  • Creol: A type-safe object-oriented model for...
  • Python

  • Referenced in 1697 articles [sw14460]
  • Python is a widely used high-level, general...
  • Simula 67

  • Referenced in 135 articles [sw21333]
  • Simula is the name of two simulation programming...
  • Dylan

  • Referenced in 13 articles [sw26095]
  • Dylan is a general-purpose, high-level programming...