• ACRITH-XSC

  • Referenced in 49 articles [sw00015]
  • Fortran-like programming language designed for the development of self-validating numerical algorithms. Such algorithms ... extension of FORTRAN 77. Various language concepts which are available in a ACRITH ... Other ACRITH-XSC features have been specifically designed for numerical purposes: numeric constant and data ... algorithms to attain high accuracy.\parThe main language features and numerical tools of ACRITH...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • BABEL. We investigate the experimental programming language BABEL, designed to achieve integration of functional programming ... flexible, and mathematically well-bounded way. The language relies on a constructor discipline, well suited...
  • Dafny

  • Referenced in 70 articles [sw00183]
  • functional correctness of programs.The Dafny programming language is designed to support the static verification ... termination metrics. To further support specifications, the language also offers updatable ghost variables, recursive functions...
  • CASL

  • Referenced in 174 articles [sw02235]
  • expressive, simple, pragmatic language. It is suitable for specifying requirements and design for conventional software ... higher-order, state-based, concurrent, and other languages. Use of Casl is supported by tools...
  • XQuery

  • Referenced in 124 articles [sw06669]
  • specification describes a query language called XQuery, which is designed to be broadly applicable across...
  • Simula 67

  • Referenced in 135 articles [sw21333]
  • object-oriented programming language. As its name suggests, Simula was designed for doing simulations ... many of the features of object-oriented languages today. (wikipedia...
  • OBJ3

  • Referenced in 139 articles [sw05370]
  • interface design, and hardware verification, among other things. It was the first language to implement...
  • ALGOL 60

  • Referenced in 666 articles [sw21807]
  • gave rise to many other programming languages, including CPL, Simula, BCPL, B, Pascal ... ALGOL 68 committee decided on a design that was more complex and advanced rather than...
  • JML

  • Referenced in 188 articles [sw04597]
  • Language (JML) is a behavioral interface specification language that can be used to specify ... behavior of Java modules. It combines the design by contract approach of Eiffel ... Larch family of interface specification languages, with some elements of the refinement calculus...
  • LISP-STAT

  • Referenced in 116 articles [sw01111]
  • basing Lisp-Stat on the Lisp language, in particular on a subset of Common Lisp ... dynamic graphics system that is designed to work identically in a number of different graphical ... aspects of the system design were motivated by the S language...
  • Modula

  • Referenced in 197 articles [sw01224]
  • descendant of the Pascal programming language. It was developed in Switzerland in the 1970s ... Niklaus Wirth, the same person who designed Pascal. The main innovation of Modula over Pascal ... program units; hence the name Modula. The language is defined in a report by Wirth...
  • Ox

  • Referenced in 470 articles [sw09501]
  • object-oriented matrix programming language with a comprehensive mathematical and statistical function library. Matrices ... speed, extensive library, and well-designed syntax, which leads to programs which are easier...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • programming language. Smalltalk was created as the language to underpin the ”new world” of computing ... exemplified by ”human–computer symbiosis.”It was designed and created in part for educational ... Wallace, and others during the 1970s. The language was first generally released as Smalltalk...
  • Ada95

  • Referenced in 293 articles [sw01753]
  • other languages. It has built-in language support for explicit concurrency, offering tasks, synchronous message ... ISO/IEC 8652:2012. Ada was originally designed by a team led by Jean Ichbiah ... supersede the hundreds of programming languages then used by the DoD. Ada was named after...
  • Mathemagix

  • Referenced in 42 articles [sw00553]
  • project aims at the design of a scientific programming language for symbolic and certified numeric ... give an overview of the language, of the design and the contents...
  • CellML

  • Referenced in 27 articles [sw05635]
  • CellML. CellML is an XML-based language designed to facilitate the exchange of biological models...
  • Gurobi

  • Referenced in 598 articles [sw04105]
  • solvers in the Gurobi Optimizer were designed from the ground up to exploit modern architectures ... interfaces, access to industry-standard modeling languages, flexible licensing together with transparent pricing, and outstanding...
  • LINGO

  • Referenced in 310 articles [sw04942]
  • LINGO is a comprehensive tool designed to make building and solving Linear, Nonlinear (convex & nonconvex/Global ... completely integrated package that includes a powerful language for expressing optimization models, a full featured...
  • PLT Redex

  • Referenced in 23 articles [sw09921]
  • semantics engineer (graduate student or professional language designer). The book comes with a prototyping tool ... debug, and publish semantic models of programming languages. With PLT Redex, semanticists can formulate models...
  • COWS

  • Referenced in 51 articles [sw06955]
  • Services), a new foundational language for SOC whose design has been influenced by WS-BPEL...