Eiffel
From MaRDI portal
swMATH3522MaRDI QIDQ16053FDOQ16053
Author name not available (Why is that?)
Official website: https://en.wikipedia.org/wiki/Eiffel_%28programming_language%29
Cited In (only showing first 100 items - show all)
- A CSP model of Eiffel's SCOOP
- Teko: a block preconditioning capability with concrete example applications in Navier-Stokes and MHD
- Coping with aliasing in the GNU Eiffel Compiler implementation
- Elkhound
- Gmat
- HasCasl
- Title not available (Why is that?)
- Ada95
- ACSL
- AspectJ
- eSkel
- JML
- Omnibus
- SYROCO
- Valgrind
- Spec#
- Miranda
- Rascal
- Ivor
- OCaml
- JCML
- CUMULVS
- CrocoPat
- ESC/Java
- LISP
- Scala
- JUnit
- SANTE
- Rostra
- VCC
- visualSTATE
- Boogie
- Chalice
- Polar
- Commonloops
- Qscope
- Alfalfa
- Camlflow
- Creol
- iTasks
- Multilisp
- YAFOOL
- Squeak
- AoPA
- K-Maude
- iJulienne
- JPAX
- Sumatra
- Anima
- Viptos
- KeY
- Cecil
- KIV
- InvA
- LOOP
- CodeQuest
- Web-TLR
- Z
- jPET
- JCrasher
- Fortress
- Traffic 4
- ModuRes
- CSPsim
- Clousot
- HotFrame
- GHS3D
- ASTREE
- Contract
- FunArray
- SmallEiffel
- UNITY
- MOP
- PolyTOIL
- LOTOSphere
- EnSight
- ADABU
- Informix
- Featherweight Java
- Ruby
- WebSphere
- CBMix
- LCLint
- Java Jr
- Splint
- Houdini
- Theseus
- OpenJML
- Verasco
- JCML: A specification language for the runtime verification of Java card programs
- A parametric segmentation functor for fully automatic and scalable array content analysis
- Gmat. A software tool for the computation of the rovibrational \(G\) matrix
- PROCOL. A concurrent object-oriented language with protocols delegation and constraints
- jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
- A software package of algorithms and heuristics for disjoint paths in \textit{Pla}nar \textit{Net}works
- OSIPE - a tool for scientific programming in FORTRAN
- JMLUnit: the next generation
- Checking compatibility of bit sizes in floating point comparison operations
- Verification of concurrent systems with VerCors
- On environment-driven software model for internetware
This page was built for software: Eiffel
