• TAMC

  • Referenced in 71 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 811 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • BETA

  • Referenced in 28 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 105 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • AUTO-86

  • Referenced in 271 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 118 articles [sw04598]
  • The Spec# programming system is a new attempt...
  • OCaml

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

  • Referenced in 73 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 1154 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...