OCaml
From MaRDI portal
swMATH6363MaRDI QIDQ18489FDOQ18489
Author name not available (Why is that?)
Official website: http://ocaml.org/
Cited In (only showing first 100 items - show all)
- The coalgebraic class specification language CCSL
- Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
- DrScheme: a programming environment for Scheme
- Title not available (Why is that?)
- Apron
- Coq
- DDDLIB
- Title not available (Why is that?)
- Ott
- Sawja
- SUBSEXPL
- ML
- DrScheme
- Valigator
- Jakarta
- ObjectCurry
- RealLib
- SafeDpi
- JoCaml
- SafeGen
- TinkerType
- VoDKA
- LOGEN
- VLISP
- SIGNAL
- SPVT-II
- CCSL
- BSPlib
- VESTA
- Haskell
- MWB
- MetaPRL
- Cheddar
- Dagger
- LETOS
- FocalTest
- Timbuk
- GHC
- CleGo
- ATGen
- Scala
- LMNtal
- SANTE
- PLplot
- Ott: Effective tool support for the working semanticist
- Browndye
- Macrodox
- SDA
- ForMaRE
- iRRAM
- NLCertify
- Curry
- Metaphor
- Pict
- RZ
- SPEED
- Panoptes
- Polyp
- MetaOCaml
- Creol
- GC
- Lem
- BER MetaOCaml
- Herod
- ULM
- Pilate
- ABC
- Cayenne
- cminor
- CompCert
- ASPIER
- BULL
- CryptoVerif
- libalf
- LETHAL
- MikiBeta
- PhoX
- Lua
- Sollya
- SAHA-Tool
- CARMEN
- OXenstored
- ASF+SDF
- Zen
- CSIsat
- Sibyl
- Tempo
- CDuce
- HTab
- biXid
- AspectC++
- Spartacus
- Bee
- XDuce
- FreshML
- SPVT: an efficient verification tool for security protocols
- Sawja: static analysis workshop for Java
- Why3 -- where programs meet provers
- Ott, effective tool support for the working semanticist
This page was built for software: OCaml
