• 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 943 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 279 articles [sw04220]
  • AUTO is a software for continuation and bifurcation...
  • JML

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

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

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

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

  • Referenced in 127 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 27 articles [sw09421]
  • Creol: A type-safe object-oriented model for...
  • Python

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

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

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