Browse thread
Programming with correctness guarantees
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Tom <tom.primozic@g...> |
| Subject: | Re: [Caml-list] Programming with correctness guarantees |
SML is a programming language wit a formal proof of semantics. I prefer OCaml for it's good implementation - however good a proof, if the programmer screwed up, or something simply got into way, the end product is flawed. Just my two cents...