Skip to search formSkip to main contentSkip to account menu

Ada

Known as: Limited type, Ada programming language, Ada 2005 
Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ACM Turing AwardALGOL 58ALGOL 60B-Method

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Inelastic x-ray study of phonon broadening and charge-density wave formation in ortho-II-ordered YBa2Cu3O6.54
Inelastic x-ray scattering is used to investigate charge-density wave (CDW) formation and the low-energy lattice dynamics of the… 
Review
2008
Review
2008
System-Level Virtualization for High Performance Computing
System-level virtualization has been a research topic since the 70's but regained popularity during the past few years because of… 
Highly Cited
2008
Highly Cited
2008
A STELLAR DYNAMICAL MEASUREMENT OF THE BLACK HOLE MASS IN THE MASER GALAXY NGC 4258
We determine the mass of the black hole at the center of the spiral galaxy NGC 4258 by constructing axisymmetric dynamical models… 
2005
2005
Automated model-based generation of Ravenscar-compliant source code
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time… 
Highly Cited
1999
Highly Cited
1999
Thiophene-Linked Polyphenylquinoxaline: A New Electron Transport Conjugated Polymer for Electroluminescent Devices
Abstract : A new n-type conjugated polymer, poly2,2'-(THIOPHENE-2,5-DIYL)-6,6'-BIS(3-PHENYLQUINOXALINE) (PTQx), was synthesized… 
1992
1992
An object-oriented refinement calculus with modular reasoning
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding… 
Highly Cited
1991
Highly Cited
1991
“=” considered harmful
Highly Cited
1991
Highly Cited
1991
Protob: An Object Oriented Methodology for Developing Discrete Event Dynamic Systems
1978
1978
A Formal, Decision-Theoretic Approach to Flexibility and Robustness
Traditional decision-making techniques only deal with a limited type of uncertainty: that which can be foreseen sufficiently to… 
Highly Cited
1951
Highly Cited
1951
Experiments on the Neural Crest of the Lamprey Embryo
1. The fate of the neural crest of the head in Lampetra planeri has been studied by experiments involving the removal or the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)