Programmiersprachen
Caml/OCaml
- funktionale Programmiersprache (mit objektorientierter Erweiterung OCAML
- sowohl interpretiert mit bytecode als auch compiliert
- Anwendungsgebiete:
- Programmverifikation
- Programmtransformationen wie semantic patches
Charakteristik
- hat auch imperative Elemente
- pattern matching
- Modul-system
Links
- http://caml.inria.fr/
- Wikipedia über OCAML
Informatik- und Netzwerkverein Ravensburg e.V
Rudolf Weber