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)
- Type classes with existential types
- Practical arbitrary lookahead LR parsing
- 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?)
- CACE tool for multi-input, multi-output systems using a new vector optimization method
- Priorities in process algebras
- 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
- 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
- Charles
- SIMSCRIPT
- ALGOL 68
- FORMAC
- COBOL
- Modula
- Smalltalk
- SCOOP
- PROCOL
- GLADE
- PEARL
- CACE
- PARTS
- POOL
- SPARK
- Eiffel
- TCOZ
- 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
- Turbo Pascal
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- KANDIDATS
- Model
- Ada.CPU_Time
- GNAT.Spitbol
- GNAT
- Splint
- Verasco
- Bunch
- ALGOL 60
- Simula 67
- Guava
- TIL
- PL/I
- PLOUC
- Tecton
- RT-ASLAN
- BCPL
- GASP IV
- JSFlow
- Dava
- MaRTE OS
- PAL-11A
- Path Pascal
- Consolidated Ada reference manual. Language and standard libraries. International standard ISO/ IEC 8652/1995(E) with technical corrigendum 1
- Title not available (Why is that?)
- Title not available (Why is that?)
- AddressSanitizer
- ANNA
- Martlet
- FlowFox
- Check
- navierstokes
- A Hopf bifurcation in the planar Navier-Stokes equations
- Investigating the usability of real-time scheduling theory with the Cheddar project
- Issues in the design of a parallel object-oriented language
- The definition of Extended ML: A gentle introduction
- Spectral stability for the wave equation with periodic forcing
- The mathematical-function computation handbook. Programming using the MathCW portable software library
- Title not available (Why is that?)
- Value sensitivity and observable abstract values for information flow control
- 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
