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)

• Algebraic semantics of the modeling language AML
• 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
• A method of program transformation between variable sharing and message passing
• Title not available (Why is that?)
• Some breathers and multi-breathers for FPU-type chains
• 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
• Are the logical foundations of verifying compiler prototypes matching user expectations?
• An ``executable impredicative semantics for the Ada configuration
• 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?)
• Families of Periodic Solutions for Some Hamiltonian PDEs
• A Comparative Evaluation Of Ada And Euclidf^†
• 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?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Proof System for Ada Tasks
• Title not available (Why is that?)
• A comparison of concurrent programming and cooperative multithreading
• SoftBound
• Conversion of Fortran to Ada using an Intermediate Tree Representation
• Synthesizing implementations of abstract data types from axiomatic specifications
• Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Concurrent communication and synchronization mechanisms
• Traveling wave solutions for the FPU chain: a constructive approach
• Type classes with existential types
• Practical arbitrary lookahead LR parsing
• Denotational semantics of a parallel object-oriented language
• A CSP model of Eiffel's SCOOP
• On hyperbolicity in the renormalization of near-critical area-preserving maps
• Title not available (Why is that?)
• Proof obligations for blocks and procedures
• Witt groups of complex cellular varieties
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantic mutation testing
• CACE tool for multi-input, multi-output systems using a new vector optimization method
• Priorities in process algebras
• The calculus of context relations
• On priority assignment in fixed priority scheduling
• Mode change protocols for real-time systems: a survey and a new proposal
• ANNA. A language for annotating Ada programs. Reference manual
• The critical renormalization fixed point for commuting pairs of area-preserving maps
• A renormalization group fixed point associated with the breakup of golden invariant tori
• 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?)
• Testing equivalences for processes
• An algebraic semantics approach to the effective resolution of type equations
• Title not available (Why is that?)
• Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
• Polynomial function intervals for floating-point software verification
• The semantics of second-order lambda calculus
• SIMSCRIPT
• Cheddar
• Miranda
• LISP
• HAL_
• visualSTATE
• Title not available (Why is that?)
• Formal communication elimination and sequentialization equivalence proofs for distributed system models
• Top-down development of layered fault tolerant systems and its problems -- a deontic perspective
• PolyPaver
• CSPsim
• Paragon
• DataFAN

This page was built for software: Ada95