Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 1031982 (Why is no real title available?)
- Compositional Petri net models of advanced tasking in Ada-95
- Traveling wave solutions for the FPU chain: a constructive approach
- Practical arbitrary lookahead LR parsing
- Algebraic semantics of the modeling language AML
- Value sensitivity and observable abstract values for information flow control
- 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
- scientific article; zbMATH DE number 4058816 (Why is no real title available?)
- scientific article; zbMATH DE number 400801 (Why is no real title available?)
- Denotational semantics of a parallel object-oriented language
- scientific article; zbMATH DE number 44704 (Why is no real title available?)
- Type classes with existential types
- A survey of concurrent object-oriented languages
- scientific article; zbMATH DE number 4005578 (Why is no real title available?)
- How to solve the Santa Claus problem
- On hyperbolicity in the renormalization of near-critical area-preserving maps
- scientific article; zbMATH DE number 194895 (Why is no real title available?)
- A CSP model of Eiffel's SCOOP
- Open and closed scopes for constrained genericity
- Distributed Atomic Actions in Ada 95
- A Ravenscar-compliant run-time kernel for safety-critical systems
- Fairness in shared invocation servicing
- An attribute grammar for the semantic analysis of ADA
- scientific article; zbMATH DE number 815772 (Why is no real title available?)
- scientific article; zbMATH DE number 1951202 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 43781 (Why is no real title available?)
- Application of mixed language programming
- scientific article; zbMATH DE number 49260 (Why is no real title available?)
- scientific article; zbMATH DE number 49271 (Why is no real title available?)
- scientific article; zbMATH DE number 49475 (Why is no real title available?)
- Cameo: an alternative model of concurrency for Eiffel
- Semantic extension possibilities in the proposed new fortran
- Extending Hoare logic to real-time
- Proof obligations for blocks and procedures
- scientific article; zbMATH DE number 1368426 (Why is no real title available?)
- A method of program transformation between variable sharing and message passing
- scientific article; zbMATH DE number 1259048 (Why is no real title available?)
- scientific article; zbMATH DE number 1251506 (Why is no real title available?)
- scientific article; zbMATH DE number 4056961 (Why is no real title available?)
- scientific article; zbMATH DE number 1031993 (Why is no real title available?)
- scientific article; zbMATH DE number 1032016 (Why is no real title available?)
- scientific article; zbMATH DE number 1368425 (Why is no real title available?)
- scientific article; zbMATH DE number 1290077 (Why is no real title available?)
- Rendezvous facilities: Concurrent C and the Ada language
- Witt groups of complex cellular varieties
- Some breathers and multi-breathers for FPU-type chains
- scientific article; zbMATH DE number 603714 (Why is no real title available?)
- scientific article; zbMATH DE number 977291 (Why is no real title available?)
- Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018
- scientific article; zbMATH DE number 3854382 (Why is no real title available?)
- scientific article; zbMATH DE number 4062545 (Why is no real title available?)
- scientific article; zbMATH DE number 4080876 (Why is no real title available?)
- Priorities in process algebras
- scientific article; zbMATH DE number 2011476 (Why is no real title available?)
- \(\rho\) graph: Rendezvous ordering graph for Ada concurrent programs
- Semantic mutation testing
- scientific article; zbMATH DE number 3881852 (Why is no real title available?)
- scientific article; zbMATH DE number 4185042 (Why is no real title available?)
- CACE tool for multi-input, multi-output systems using a new vector optimization method
- Some reversing orbits for a rattleback model
- Compositional semantics for real-time distributed computing
- A kernel system for iconic image processing
- scientific article; zbMATH DE number 963588 (Why is no real title available?)
- The calculus of context relations
- scientific article; zbMATH DE number 604130 (Why is no real title available?)
- Validated numerical solutions for a semilinear elliptic equation on some topological annuli in the plane
- Mode change protocols for real-time systems: a survey and a new proposal
- On priority assignment in fixed priority scheduling
- An integrated approach to high integrity software verification
- scientific article; zbMATH DE number 4078752 (Why is no real title available?)
- scientific article; zbMATH DE number 4078775 (Why is no real title available?)
- scientific article; zbMATH DE number 4084975 (Why is no real title available?)
- ANNA. A language for annotating Ada programs. Reference manual
- Non-radial solutions for some semilinear elliptic equations on the disk
- Exception handling—A static approach
- Real-time BASIC
- scientific article; zbMATH DE number 1872989 (Why is no real title available?)
- Architectural support for variable addressing in Ada? A design approach
- scientific article; zbMATH DE number 2088924 (Why is no real title available?)
- scientific article; zbMATH DE number 2088930 (Why is no real title available?)
- scientific article; zbMATH DE number 2088932 (Why is no real title available?)
- scientific article; zbMATH DE number 2088933 (Why is no real title available?)
- scientific article; zbMATH DE number 2088937 (Why is no real title available?)
- scientific article; zbMATH DE number 2088938 (Why is no real title available?)
- scientific article; zbMATH DE number 2088939 (Why is no real title available?)
- scientific article; zbMATH DE number 2011485 (Why is no real title available?)
- scientific article; zbMATH DE number 3784245 (Why is no real title available?)
- scientific article; zbMATH DE number 194540 (Why is no real title available?)
- The critical renormalization fixed point for commuting pairs of area-preserving maps
- Concurrent and Real-Time Programming in Ada 2005
- scientific article; zbMATH DE number 964529 (Why is no real title available?)
- DIANA. An intermediate language for Ada. Rev. version
- A software architecture for distributed computer control systems
- Procedure mechanisms of abstraction
- scientific article; zbMATH DE number 48660 (Why is no real title available?)
This page was built for software: Ada95
