Ada95

Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages. It has built-in language support for explicit concurrency, offering tasks, synchronous 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 by a team led by Jean Ichbiah of CII Honeywell Bull under contract to the United States Department of Defense (DoD) from 1977 to 1983 to supersede the hundreds of programming languages then used by the DoD. Ada was named after Ada Lovelace (1815–1852), who is credited as being the first computer programmer. (Source: http://en.wikipedia.org/wiki/Ada95)


References in zbMATH (referenced in 12 articles , 1 standard article )

Showing results 1 to 12 of 12.
Sorted by year (citations)

  1. Bożejko, Wojciech; Wodecki, Mieczysław: Parallel genetic algorithm for minimizing total weighted completion time (2004)
  2. Koch, Hans: A renormalization group fixed point associated with the breakup of golden invariant tori (2004)
  3. Real, Jorge; Crespo, Alfons: Mode change protocols for real-time systems: a survey and a new proposal (2004)
  4. Blieberger, Johann; Burgstaller, Bernd: Eliminating redundant range checks in GNAT using symbolic evaluation (2003)
  5. Heaney, Matthew: Charles: A data structure library for Ada95 (2003)
  6. Miranda, Javier; González Harbour, M.: A proposal to integrate the POSIX execution-time clocks into Ada 95 (2003)
  7. Zimmermann, Wolf; Dold, Axel: A framework for modeling the semantics of expression evaluation with abstract state machines (2003)
  8. Ortiz, Francisco J.; Martínez, Alejandro S.; Álvarez, Barbara; Iborra, Andres; Fernández, José M.: Development of a control system for teleoperated robots using UML and Ada95 (2002)
  9. Audsley, N.C.: On priority assignment in fixed priority scheduling (2001)
  10. Waroquiers, Philippe; Van Vlierberghe, Stef; Craeynest, Dirk; Hately, Andrew; Duvinage, Erik: Migrating large applications from Ada83 to Ada95 (2001)
  11. Chapman, Roderick; Burns, Alan; Wellings, Andy: Combining static worst-case timing analysis and program proof. (1996)
  12. Chapman, Roderick; Burns, Alan; Wellings, Andy: Combining static worst-case timing analysis and program proof. (1996)