Ada95

swMATH1753MaRDI QIDQ14401FDOQ14401

Author name not available (Why is that?)

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

• Type classes with existential types
• Practical arbitrary lookahead LR parsing
• A survey of concurrent object-oriented languages
• Title not available (Why is that?)
• 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?)
• Cameo: an alternative model of concurrency for Eiffel
• Rendezvous facilities: Concurrent C and the Ada language
• 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
• Title not available (Why is that?)
• 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
• An integrated approach to high integrity software verification
• 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?)
• Title not available (Why is that?)
• An engineering process for the verification of real-time systems
• 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
• Title not available (Why is that?)
• The semantics of second-order lambda calculus
• 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
• An ADA library for automatic evaluation of derivatives
• 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?)
• Consolidated Ada reference manual. Language and standard libraries. International standard ISO/ IEC 8652/1995(E) with technical corrigendum 1
• An axiomatic semantics for nested concurrency
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Hopf bifurcation in the planar Navier-Stokes equations
• Analysis of scheduling behaviour using generic timed automata
• On the classification of binding mechanisms
• Algebraic specification of concurrent systems
• The programming language ADA. Reference manual. American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983
• Investigating the usability of real-time scheduling theory with the Cheddar project
• 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
• Issues in the design of a parallel object-oriented language
• The definition of Extended ML: A gentle introduction
• A complete axiomatic semantics of spawning
• 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?)
• Spectral stability for the wave equation with periodic forcing
• Partial correctness of exits from concurrent structures
• The mathematical-function computation handbook. Programming using the MathCW portable software library
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Real-time properties of indirect recursive procedures
• 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?)
• Open and closed scopes for constrained genericity
• A Ravenscar-compliant run-time kernel for safety-critical systems
• Fairness in shared invocation servicing
• An attribute grammar for the semantic analysis of ADA
• Concurrent C: A programming language for distributed multiprocessor systems
• The semantics and complexity of parallel programs for vector computations. I: A case study using Ada
• 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
• Extending Hoare logic to real-time
• \(\rho\) graph: Rendezvous ordering graph for Ada concurrent programs
• Title not available (Why is that?)
• Some reversing orbits for a rattleback model
• Compositional semantics for real-time distributed computing
• A kernel system for iconic image processing
• Validated numerical solutions for a semilinear elliptic equation on some topological annuli in the plane
• Title not available (Why is that?)
• Non-radial solutions for some semilinear elliptic equations on the disk

This page was built for software: Ada95