• Ada95

  • Referenced in 291 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer ... message passing, protected objects, and non-determinism. Ada is an international standard; the current version ... known as Ada 2012) is defined by ISO/IEC 8652:2012. Ada was originally designed ... programming languages then used by the DoD. Ada was named after Ada Lovelace...
  • PHCpack

  • Referenced in 223 articles [sw00705]
  • portability is ensured by the gnu-ada compiler...
  • OBJ3

  • Referenced in 138 articles [sw05370]
  • module system influenced the designs of the Ada, C++, and ML module systems...
  • Why3

  • Referenced in 130 articles [sw04438]
  • verification of C, Java, or Ada programs. Why3 is a complete reimplementation of the former...
  • LARCH

  • Referenced in 103 articles [sw02126]
  • variety of programming languages, including Ada, C, C++, CLU, CORBA, ML, Modula-3, and Smalltalk...
  • SPARK

  • Referenced in 48 articles [sw03124]
  • time errors in safety-critical Ada software. In particular, the toolset is examined to determine...
  • BETA

  • Referenced in 29 articles [sw03114]
  • based programming languages, such as Java or Ada...
  • ada

  • Referenced in 17 articles [sw09505]
  • ada: An R Package for Stochastic Boosting. Boosting is an iterative algorithm that combines simple ... performance and speed in generating the ensemble. ada is an R package that implements three...
  • WhyML

  • Referenced in 25 articles [sw09709]
  • verification of C, Java, or Ada programs. We demonstrate the benefits of Why3 and WhyML...
  • SETL

  • Referenced in 22 articles [sw36325]
  • mainstream languages as PASCAL, PL/I, ALGOL, and Ada. For this purpose, LISP introduces structured lists...
  • OASIS

  • Referenced in 21 articles [sw00644]
  • abstractions and queries for analyzing object-oriented Ada code...
  • ANNA

  • Referenced in 10 articles [sw36323]
  • introduction to ANNA, a language for specifying Ada program. This reference manual of ANNA ... another volume addressed to the ADA community. ANNA is a language extension ... ADA to include facilities for formally specifying the intended behavior of ADA programs ... meet a perceived need to augment ADA with precise machine-processable annotations so that well...
  • Helena

  • Referenced in 11 articles [sw04384]
  • Maria. Helena is developed in portable Ada and is freely available under the conditions...
  • GLUT

  • Referenced in 7 articles [sw07167]
  • same as C), FORTRAN, and Ada programming bindings. The GLUT source code distribution is portable...
  • MaRTE OS

  • Referenced in 3 articles [sw34047]
  • MaRTE OS: an Ada kernel for real-time embedded applications. MaRTE OS (Minimal Real-Time ... POSIX.13 subset, providing both the C and Ada language POSIX interfaces. It allows cross-development ... Ada and C real-time applications. Mixed Ada-C applications can also be developed, with ... globally consistent scheduling of Ada tasks and C threads. Details on the architecture and implementation...
  • ArcAngelC

  • Referenced in 6 articles [sw06338]
  • existing strategy for verification of Ada implementations of control systems specified by Simulink diagrams...
  • Dhrystone

  • Referenced in 6 articles [sw08948]
  • data. The benchmark executes 100 Ada statements that are balanced in terms of the distribution...
  • ADTEST

  • Referenced in 4 articles [sw07254]
  • ADTEST: A Test Data Generation Suite for Ada Software Systems. This paper presents the design ... system has been tested on large Ada programs (60,000 lines of code) and found...
  • Dava

  • Referenced in 5 articles [sw34048]
  • other languages, including Haskell, Eiffel, ML, Ada and Fortran. These compilers often use very different...