Ada95 swMATH ID: 1753 Software Authors: Jean Ichbiah Description: 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. Homepage: http://www.adahome.com/rm95/ Related Software: Modula; Eiffel; Smalltalk; Simula 67; ALGOL 68; ANNA; ML; MPFR; COBOL; PL/I; SPARK; Uppaal; ALGOL 60; JML; Esterel; STL; LISP; PVS; Mathematica; POOL Cited in: 277 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Charles: A data structure library for Ada95. Zbl 1032.68865Heaney, Matthew 2003 all top 5 Cited by 396 Authors 14 Koch, Hans-Friedrich 11 Arioli, Gianni 5 Burns, Alan D. 5 Luckham, David C. 4 Gehani, Narain H. 4 González Harbour, Michael 4 Goos, Gerhard 4 Xu, Baowen 3 Blieberger, Johann 3 Booch, Grady 3 Gerth, Rob Tristan 3 Goldsack, Stephen J. 3 Kienzle, Jörg 3 Ledgard, Henry F. 3 McGettrick, Andrew D. 3 Meldal, Sigurd 3 Olsson, Ronald A. 3 Persch, Guido 3 Shyamasundar, Rudrapatna Kallikote 3 Wallis, Peter J. L. 3 Wellings, Andrew J. 3 Wellings, Andy 2 Aït-Kaci, Hassan 2 Aldea Rivas, Mario 2 America, Pierre 2 Andrews, Gregory R. 2 Baker, Theodore P. 2 Barringer, Howard 2 Ben-Ari, Mordechai 2 Bishop, Judy M. 2 Breguet, Pierre 2 Brooke, Phillip J. 2 Cohen, Norman H. 2 Craeynest, Dirk 2 Dausmann, Manfred 2 Dawes, John 2 Duggan, Dominic 2 Feldman, Michael B. 2 Gutiérrez, J. Javier 2 Habermann, A. Nico 2 Hennessy, Matthew C. B. 2 Hooman, Jozef Johannes Maria 2 Jiménez-Peris, Ricardo 2 Keen, Aaron W. 2 Kramer, Jeff 2 Mearns, I. 2 Nagl, Manfred 2 Paige, Richard F. 2 Patiño-Martínez, Marta 2 Pyle, I. C. 2 Rogers, Mark W. 2 Rosen, Jean-Pierre 2 Strohmeier, Alfred 2 Vardanega, Tullio 2 von Henke, Friedrich Wilhelm 2 Waroquiers, Philippe 2 Yang, Hongji 2 Zaffalon, Luigi 1 Abnous, Razmik 1 Adams, Stephen R. 1 Agamirzyan, I. R. 1 Ah-kee, Alain 1 Álvarez, Barbara 1 Amoroso, Serafino 1 Anavi, E. 1 Ancona, Massimo 1 Appelbe, Bill 1 Araki, Toshiro 1 Ardö, Anders 1 Arévalo, Sergio 1 Arsac, Jacques J. 1 Arunkumar, S. 1 Asplund, Lars 1 Athersych, David F. 1 Audsley, Neil C. 1 Ausnit, Christine N. 1 Avjiev, D. 1 Babot, Francesc-Xavier 1 Baeten, Jos C. M. 1 Baker, Louis jun. 1 Barnard, David T. 1 Barnes, I. G. P. 1 Barnes, J. G. P. 1 Barnes, Janet 1 Beebe, Nelson H. F. 1 Beidler, John 1 Bello, Luciano 1 Bengel, Günther 1 Benson, Gregory D. 1 Bergin, Thomas J. jun. 1 Bermudez, Manuel E. 1 Bertran, Miquel 1 Bever, Martin 1 Biswas, Prasenjit 1 Blum, Edward Kenneth 1 Bölckow, Rolf 1 Bożejko, Wojciech 1 Bretz, Manfred 1 Brosgol, Benjamin M. 1 Bruce, Kim B. ...and 296 more Authors all top 5 Cited in 61 Serials 30 Software. Practice & Experience 9 Lecture Notes in Computer Science 8 Formal Aspects of Computing 7 Theoretical Computer Science 5 Acta Informatica 5 BIT 5 The Computer Journal. Section A / Section B 5 Information and Computation 5 Real-Time Systems 4 IEEE Transactions on Software Engineering 3 Information Processing Letters 3 Science of Computer Programming 2 Communications in Mathematical Physics 2 Computer Physics Communications 2 Applied Mathematics and Computation 2 Automatica 2 Computing 2 Journal of Computer and System Sciences 2 Journal of Differential Equations 2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 2 Journal of Computer Science and Technology 2 Concurrency: Practice and Experience 2 Journal of Functional Programming 2 Annals of Mathematics and Artificial Intelligence 2 Discrete and Continuous Dynamical Systems 2 Journal of Mathematical Fluid Mechanics 2 Sādhanā 2 Fortschritt-Berichte VDI. Reihe 10: Informatik/Kommunikationstechnik 1 ACM Computing Surveys 1 International Journal of Control 1 Nonlinearity 1 Computer Languages 1 Elektronische Rechenanlagen 1 INFOR 1 International Journal of Computer & Information Sciences 1 Journal of Soviet Mathematics 1 1 ACM Transactions on Programming Languages and Systems 1 Annales Societatis Mathematicae Polonae. Series IV 1 Ergodic Theory and Dynamical Systems 1 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica 1 Journal of Wuhan University. Natural Science Edition 1 Parallel Computing 1 it. Informationstechnik 1 International Journal of Parallel Programming 1 Journal of Automated Reasoning 1 La Vie des Sciences 1 Distributed Computing 1 Journal of Nonlinear Science 1 Lietuvos Matematikos Rinkinys 1 1 Documenta Mathematica 1 Kuwait Journal of Science and Engineering 1 Mathematical Methods of Operations Research 1 Concurrency and Computation: Practice & Experience 1 SIAM Journal on Applied Dynamical Systems 1 Computer Languages, Systems & Structures 1 Cambridge Computer Science Texts 1 Fachberichte Simulation 1 International Series on Microprocessor-Based Systems Engineering 1 Undergraduate Texts in Computer Science all top 5 Cited in 23 Fields 256 Computer science (68-XX) 9 General and overarching topics; collections (00-XX) 8 Numerical analysis (65-XX) 7 Partial differential equations (35-XX) 7 Systems theory; control (93-XX) 6 Dynamical systems and ergodic theory (37-XX) 5 Operations research, mathematical programming (90-XX) 4 Mathematical logic and foundations (03-XX) 2 History and biography (01-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Mechanics of particles and systems (70-XX) 2 Fluid mechanics (76-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Information and communication theory, circuits (94-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 \(K\)-theory (19-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Ordinary differential equations (34-XX) 1 Approximations and expansions (41-XX) 1 Operator theory (47-XX) 1 Biology and other natural sciences (92-XX) Citations by Year