Caml ML Languages Programming

Automatic theorem prover for Horn equational logics, coded in Caml Light, Tcl/Tk graphic interface allows mouse-menus interaction; supports building correct specifications via verifying properties by induction. Description, downloads.

• Top/Computers/Programming/Languages/Open Source
• Top/Computers/Programming/Languages/Compiled/Functional
• Top/Computers/Programming/Languages/Comparison and Review
• Top/Computers/Programming/Languages/Garbage Collected
• Top/Computers/Programming/Languages/Functional

• The Caml Language - Strongly-typed, safe, automatic statically type-checked functional programming language ml from ML languages family. Powerful, easy to learn. Descriptions, ml documents, resources, downloads. English, languages Français. [Open Source, INRIA]
• SPIKE - Automatic theorem prover for Horn equational logics, coded ml in Caml ml Light, Tcl/Tk graphic interface allows mouse-menus ml interaction; supports building correct ml specifications via verifying properties ml by induction. Description, downloads.
• Archive of Caml Weekly News - Mailing list archive from 2001.11.27 to present, all ml HTML.

   MySQL - Cache Direct