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
Seamless integration of mobile WiMAX in 3GPP networks
As the wireless industry makes its way to the next generation of mobile systems, it is important to engineer solutions that… 
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
2000
Highly Cited
2000
Hardware resource minimization for histogram-based ADC BIST
The paper proposes a BIST approach for deriving the main characterization parameters of ADCs from histogram data. An adequate… 
Review
1994
Review
1994
Specifying and Testing Software Components using ADL
This paper presents a novel approach to unit testing of software components. This approach uses the specification language ADL… 
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
1987
1987
A Compositional Proof Theory for Real-Time Distributed Message Passing
A compositional proof system is given for an OCCAM-like real-time programming language for distributed computing with… 
Highly Cited
1983
Highly Cited
1983
Nuclear Overhauser Effects and circular Dichroism as Probes of \beta.-turn Conformations in Acyclic and Cyclic Peptides with Pro-X Sequences
Nuclear Overhauser effects (NOE) and (CD) techniques have been used to probe \beta-turn conformations in acyclic and cyclic… 
Highly Cited
1933
Highly Cited
1933
Leafy spurge : life history and habits
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)