Ada95
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Investigating the usability of real-time scheduling theory with the Cheddar project
- The programming language ADA. Reference manual. American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983
- Script: A communication abstraction mechanism and its verification
- Ada software tools interfaces. Workshop, Bath/England, July 13-15, 1983. Proceedings
- An axiomatic semantics for nested concurrency
- Concurrency in programming languages: A survey
- Partial correctness of exits from concurrent structures
- 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
- An algebraic semantics approach to the effective resolution of type equations
- The semantics and complexity of parallel programs for vector computations. I: A case study using Ada
- Compositional semantics for real-time distributed computing
- A kernel system for iconic image processing
- Extending lookahead for LR parsers
- Invariants in the application-oriented specification of control systems
- Control discipline necessity: Making the language as general as the implementation
- Access mechanisms in block structured environments
- An attribute grammar for the semantic analysis of ADA
- Work by Robert Kalaba on automated sensitivity analysis
- Axiomatic semantics for escape statements
- An algebra for process creation
- \(\rho\) graph: Rendezvous ordering graph for Ada concurrent programs
- Charles
- Developing software for parallel computing systems
- Extending Hoare logic to real-time
- Testing equivalences for processes
- Label-selective -calculus syntax and confluence
- Top-down development of layered fault tolerant systems and its problems -- a deontic perspective
- Application of mixed language programming
- SIMSCRIPT
- The definition of Extended ML: A gentle introduction
- FORMAC
- A Ravenscar-compliant run-time kernel for safety-critical systems
- Modula
- ALGOL 68
- COBOL
- Fairness in shared invocation servicing
- Reliable software technologies -- Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16--20, 2003. Proceedings
- Smalltalk
- SCOOP
- PROCOL
- GLADE
- PEARL
- PARTS
- SPARK
- CACE
- Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability
- POOL
- TCOZ
- On priority assignment in fixed priority scheduling
- Eiffel
- Open and closed scopes for constrained genericity
- Non-radial solutions for some semilinear elliptic equations on the disk
- Cheddar
- Miranda
- Spectral stability for the wave equation with periodic forcing
- A renormalization group fixed point associated with the breakup of golden invariant tori
- Type-based hot swapping of running modules
- On the dynamic semantics and the timing behavior of Ravenscar kernels
- A review of Ada tasking
- Real-time properties of indirect recursive procedures
- Evaluating the expressive power of the real-time specification for Java
- LISP
- HAL_
- visualSTATE
- Semantic mutation testing
- Some breathers and multi-breathers for FPU-type chains
- Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
- Deadlock and WCET analysis of barrier-synchronized concurrent programs
- The maximum diversity assortment selection problem
- A Hopf bifurcation in the planar Navier-Stokes equations
- PolyPaver
- Some reversing orbits for a rattleback model
- An ``executable impredicative semantics for the Ada configuration
- A CSP model of Eiffel's SCOOP
- Paragon
- CSPsim
- Are the logical foundations of verifying compiler prototypes matching user expectations?
- DataFAN
- Validated numerical solutions for a semilinear elliptic equation on some topological annuli in the plane
- Analysis of scheduling behaviour using generic timed automata
- Algebraic semantics of the modeling language AML
- scientific article; zbMATH DE number 1706223 (Why is no real title available?)
- scientific article; zbMATH DE number 1706340 (Why is no real title available?)
- scientific article; zbMATH DE number 1706342 (Why is no real title available?)
- scientific article; zbMATH DE number 1706344 (Why is no real title available?)
- scientific article; zbMATH DE number 1706345 (Why is no real title available?)
- scientific article; zbMATH DE number 1706348 (Why is no real title available?)
- scientific article; zbMATH DE number 1706353 (Why is no real title available?)
- scientific article; zbMATH DE number 1706354 (Why is no real title available?)
- scientific article; zbMATH DE number 1706360 (Why is no real title available?)
- Turbo Pascal
- Families of Periodic Solutions for Some Hamiltonian PDEs
- Splint
- Synthesizing implementations of abstract data types from axiomatic specifications
- KANDIDATS
- Model
- Concurrent communication and synchronization mechanisms
- A Comparative Evaluation Of Ada And Euclidf†
- scientific article; zbMATH DE number 2088924 (Why is no real title available?)
This page was built for software: Ada95
