Consolidated Ada reference manual. Language and standard libraries. International standard ISO/ IEC 8652/1995(E) with technical corrigendum 1

DOI10.1007/3-540-45340-7MaRDI QIDQ5952660zbMATH OpenOpenAlexFDO

Authors

Publication date 21 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45340-7

zbMATH Keywords

Ada reference manual

Mathematics Subject Classification ID

General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) Theory of programming languages (68N15)

Cited in

(8)

• Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
• A Hopf bifurcation in the planar Navier-Stokes equations
• Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs
• Some reversing orbits for a rattleback model
• Some symmetric boundary value problems and non-symmetric solutions
• Formal communication elimination and sequentialization equivalence proofs for distributed system models
• A survey on standards for real-time distribution middleware
• Non-symmetric low-index solutions for a symmetric boundary value problem

Describes a project that uses

Uses Software

• Ada95

This page was built for publication: Consolidated Ada reference manual. Language and standard libraries. International standard ISO/ IEC 8652/1995(E) with technical corrigendum 1

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5952660)