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:

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

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

1 2 3 ... 8 9 10 next

  1. Arioli, Gianni; Koch, Hans: Traveling wave solutions for the FPU chain: a constructive approach (2020)
  2. Arioli, Gianni; Koch, Hans: Some breathers and multi-breathers for FPU-type chains (2019)
  3. Arioli, Gianni; Koch, Hans: Non-radial solutions for some semilinear elliptic equations on the disk (2019)
  4. Arioli, Gianni; Koch, Hans: Spectral stability for the wave equation with periodic forcing (2018)
  5. Bouaziz, Rahma; Lemarchand, Laurent; Singhoff, Frank; Zalila, Bechir; Jmaiel, Mohamed: Multi-objective design exploration approach for Ravenscar real-time systems (2018)
  6. Müller, Peter (ed.); Schaefer, Ina (ed.): Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018 (2018)
  7. Arioli, Gianni; Koch, Hans: Families of periodic solutions for some Hamiltonian PDEs (2017)
  8. Beebe, Nelson H. F.: The mathematical-function computation handbook. Programming using the MathCW portable software library (2017)
  9. Koch, Hans: On hyperbolicity in the renormalization of near-critical area-preserving maps (2016)
  10. Arioli, Gianni; Koch, Hans: Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation (2015)
  11. Bertran, Miquel; Babot, Francesc; Climent, August: Formal communication elimination and sequentialization equivalence proofs for distributed system models (2014)
  12. Duracz, Jan; Konečný, Michal: Polynomial function intervals for floating-point software verification (2014)
  13. Pérez, Héctor; Gutiérrez, J. Javier: A survey on standards for real-time distribution middleware (2014)
  14. Loukil, Sihem; Kallel, Slim; Zalila, Bechir; Jmaiel, Mohamed: AO4AADL: aspect oriented extension for AADL (2013) ioport
  15. Taft, S. Tucker (ed.); Duff, Robert A. (ed.); Brukardt, Randall L. (ed.); Ploedereder, Erhard (ed.); Leroy, Pascal (ed.); Schonberg, Edmond (ed.): Ada 2012 reference manual. Language and standard libraries. International standard ISO/IEC 8652/2012 (E) (2013) ioport
  16. Zibrowius, Marcus: Witt groups of complex cellular varieties (2011)
  17. Arioli, Gianni; Koch, Hans: The critical renormalization fixed point for commuting pairs of area-preserving maps (2010)
  18. Carver, Richard H.; Lei, Yu: A class library for implementing, testing, and debugging concurrent programs (2010) ioport
  19. Brooke, Phillip J.; Paige, Richard F.: Cameo: an alternative model of concurrency for Eiffel (2009)
  20. Gupta, Varun; Chhabra, Jitender Kumar: Package coupling measurement in object-oriented software (2009) ioport

1 2 3 ... 8 9 10 next