The following pages link to Ada95 (Q14401):
Displaying 50 items.
- Polynomial function intervals for floating-point software verification (Q457251) (← links)
- Formal communication elimination and sequentialization equivalence proofs for distributed system models (Q466919) (← links)
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation (Q478282) (← links)
- ANNA. A language for annotating Ada programs. Reference manual (Q578891) (← links)
- DIANA. An intermediate language for Ada. Rev. version (Q594574) (← links)
- Procedure mechanisms of abstraction (Q595363) (← links)
- A software architecture for distributed computer control systems (Q595575) (← links)
- Witt groups of complex cellular varieties (Q638450) (← links)
- Mode change protocols for real-time systems: a survey and a new proposal (Q704778) (← links)
- On hyperbolicity in the renormalization of near-critical area-preserving maps (Q727423) (← links)
- An ADA library for automatic evaluation of derivatives (Q751170) (← links)
- The semantics of second-order lambda calculus (Q751294) (← links)
- A proof system for concurrent ADA programs (Q792078) (← links)
- Priorities in process algebras (Q802881) (← links)
- A complete axiomatic semantics of spawning (Q808281) (← links)
- Cameo: an alternative model of concurrency for Eiffel (Q846117) (← links)
- An integrated approach to high integrity software verification (Q861714) (← links)
- An engineering process for the verification of real-time systems (Q877159) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- On the classification of binding mechanisms (Q910205) (← links)
- Denotational semantics of a parallel object-oriented language (Q910250) (← links)
- Practical arbitrary lookahead LR parsing (Q912646) (← links)
- Algebraic specification of concurrent systems (Q914405) (← links)
- The calculus of context relations (Q918720) (← links)
- Proof theory for exception handling in a tasking environment (Q918725) (← links)
- Proof obligations for blocks and procedures (Q919838) (← links)
- The critical renormalization fixed point for commuting pairs of area-preserving maps (Q982433) (← links)
- Investigating the usability of real-time scheduling theory with the Cheddar project (Q1033676) (← links)
- The programming language ADA. Reference manual. American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983 (Q1050763) (← links)
- Script: A communication abstraction mechanism and its verification (Q1064053) (← links)
- Ada software tools interfaces. Workshop, Bath/England, July 13-15, 1983. Proceedings (Q1071488) (← links)
- An axiomatic semantics for nested concurrency (Q1077155) (← links)
- Concurrency in programming languages: A survey (Q1077156) (← links)
- Partial correctness of exits from concurrent structures (Q1080654) (← links)
- An assessment of Multilisp: Lessons from experience (Q1091113) (← links)
- System development and Ada. CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986. Proceedings (Q1092650) (← links)
- An algebraic semantics approach to the effective resolution of type equations (Q1093359) (← links)
- The semantics and complexity of parallel programs for vector computations. I: A case study using Ada (Q1110310) (← links)
- Compositional semantics for real-time distributed computing (Q1119027) (← links)
- A kernel system for iconic image processing (Q1123598) (← links)
- Extending lookahead for LR parsers (Q1157920) (← links)
- Invariants in the application-oriented specification of control systems (Q1159109) (← links)
- Control discipline necessity: Making the language as general as the implementation (Q1162804) (← links)
- Access mechanisms in block structured environments (Q1169282) (← links)
- An attribute grammar for the semantic analysis of ADA (Q1172379) (← links)
- Work by Robert Kalaba on automated sensitivity analysis (Q1179792) (← links)
- Axiomatic semantics for ''escape'' statements (Q1182114) (← links)
- An algebra for process creation (Q1203719) (← links)
- \(\rho\) graph: Rendezvous ordering graph for Ada concurrent programs (Q1273083) (← links)
- Developing software for parallel computing systems (Q1294624) (← links)
