Ada95

swMATH1753MaRDI QIDQ14401FDOQ14401

Author name not available (Why is that?)

Official website: http://www.adahome.com/rm95/

Cited In (only showing first 100 items - show all)

• A survey of concurrent object-oriented languages
• An assessment of Multilisp: Lessons from experience
• System development and Ada. CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986. Proceedings
• How to solve the Santa Claus problem
• Title not available (Why is that?)
• Denotational semantics of a parallel object-oriented language
• Title not available (Why is that?)
• WIGXJPF
• An attribute grammar for the semantic analysis of ADA
• The semantics and complexity of parallel programs for vector computations. I: A case study using Ada
• Cameo: an alternative model of concurrency for Eiffel
• Rendezvous facilities: Concurrent C and the Ada language
• Extending Hoare logic to real-time
• Semantic mutation testing
• Title not available (Why is that?)
• Title not available (Why is that?)
• Compositional semantics for real-time distributed computing
• A kernel system for iconic image processing
• The calculus of context relations
• An integrated approach to high integrity software verification
• Title not available (Why is that?)
• DIANA. An intermediate language for Ada. Rev. version
• A software architecture for distributed computer control systems
• Procedure mechanisms of abstraction
• Title not available (Why is that?)
• An engineering process for the verification of real-time systems
• Invariants in the application-oriented specification of control systems
• Control discipline necessity: Making the language as general as the implementation
• Evaluating the expressive power of the real-time specification for Java
• Title not available (Why is that?)
• The semantics of second-order lambda calculus
• An ADA library for automatic evaluation of derivatives
• Access mechanisms in block structured environments
• Title not available (Why is that?)
• Title not available (Why is that?)
• An axiomatic semantics for nested concurrency
• Work by Robert Kalaba on automated sensitivity analysis
• Analysis of scheduling behaviour using generic timed automata
• On the classification of binding mechanisms
• Algebraic specification of concurrent systems
• Axiomatic semantics for escape statements
• The programming language ADA. Reference manual. American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983
• Artificial Intelligence and Soft Computing - ICAISC 2004
• Extending lookahead for LR parsers
• Proof theory for exception handling in a tasking environment
• Title not available (Why is that?)
• Title not available (Why is that?)
• A proof system for concurrent ADA programs
• Script: A communication abstraction mechanism and its verification
• Title not available (Why is that?)
• A complete axiomatic semantics of spawning
• Ada software tools interfaces. Workshop, Bath/England, July 13-15, 1983. Proceedings
• Concurrency in programming languages: A survey
• From ML to Ada: Strongly-typed language interoperability via source translation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Partial correctness of exits from concurrent structures
• Algebraic semantics of the modeling language AML
• Title not available (Why is that?)
• Title not available (Why is that?)
• Real-time properties of indirect recursive procedures
• Open and closed scopes for constrained genericity
• A Ravenscar-compliant run-time kernel for safety-critical systems
• Fairness in shared invocation servicing
• Concurrent C: A programming language for distributed multiprocessor systems
• Reliable software technologies -- Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16--20, 2003. Proceedings
• Application of mixed language programming
• A method of program transformation between variable sharing and message passing
• Some breathers and multi-breathers for FPU-type chains
• \(\rho\) graph: Rendezvous ordering graph for Ada concurrent programs
• Some reversing orbits for a rattleback model
• Validated numerical solutions for a semilinear elliptic equation on some topological annuli in the plane
• Exception handling—A static approach
• Non-radial solutions for some semilinear elliptic equations on the disk
• Title not available (Why is that?)
• Title not available (Why is that?)
• Concurrent and Real-Time Programming in Ada 2005
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
• Deadlock and WCET analysis of barrier-synchronized concurrent programs
• Developing software for parallel computing systems
• Are the logical foundations of verifying compiler prototypes matching user expectations?
• An ``executable impredicative semantics for the Ada configuration
• Title not available (Why is that?)
• Type-based hot swapping of running modules
• On the dynamic semantics and the timing behavior of Ravenscar kernels
• The maximum diversity assortment selection problem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Families of Periodic Solutions for Some Hamiltonian PDEs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A review of Ada tasking
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for software: Ada95