×

OCaml

swMATH ID: 6363
Software Authors: INRIA; X. Leroy, D. Rémy, J. Vouillon, D. Doligez
Description: OCaml is the most popular variant of the Caml language. From a language standpoint, it extends the core Caml language with a fully-fledged object-oriented layer, as well as a powerful module system, all connected by a sound, polymorphic type system featuring type inference. The OCaml system is an industrial-strength implementation of this language, featuring a high-performance native-code compiler (ocamlopt) for 9 processor architectures (IA32, PowerPC, AMD64, Alpha, Sparc, Mips, IA64, HPPA, StrongArm), as well as a bytecode compiler (ocamlc) and an interactive read-eval-print loop (ocaml) for quick development and portability. The OCaml distribution includes a comprehensive standard library, a replay debugger (ocamldebug), lexer (ocamllex) and parser (ocamlyacc) generators, a pre-processor pretty-printer (camlp4) and a documentation generator (ocamldoc)
Homepage: http://ocaml.org/
Related Software: Coq; Haskell; Isabelle/HOL; ML; HOL; HOL Light; Isabelle; z3; ACL2; PVS; GHC; Maude; Scala; LCF; Ott; ASTREE; Featherweight Java; CompCert; CakeML; Archive Formal Proofs
Cited in: 260 Publications
all top 5

Cited by 473 Authors

7 Kiselyov, Oleg
7 Sewell, Peter
5 Owens, Scott
5 Ridge, Thomas
4 Bauer, Andrej
4 Fernández, Maribel
4 Grégoire, Benjamin
4 Huet, Gerard P.
4 Monniaux, David P.
4 Pichardie, David
4 Shan, Chung-chieh
4 Wansbrough, Keith
3 Barthe, Gilles
3 Braibant, Thomas
3 Calvès, Christophe
3 Charguéraud, Arthur
3 Chlipala, Adam J.
3 Danvy, Olivier
3 Delahaye, David
3 Dufourd, Jean-François
3 Filliâtre, Jean-Christophe
3 Fisher, Kathleen
3 Garrigue, Jacques
3 Goré, Rajeev Prabhakar
3 Grossman, Dan
3 Jeuring, Johan
3 Kobayashi, Naoki
3 Leroy, Xavier
3 Loulergue, Frédéric
3 Maranget, Luc
3 Pottier, François
3 Ramsey, Norman
3 Rémy, Didier
3 Reppy, John H.
3 Rhiger, Morten
3 Weirich, Stephanie
3 Widmann, Florian
3 Zappa Nardelli, Francesco
2 Atanassow, Frank
2 Bannai, Hideo
2 Blanchet, Bruno
2 Breitner, Joachim
2 Brun, Christophe
2 Bulwahn, Lukas
2 Cachera, David
2 Castagna, Giuseppe
2 Cerrito, Serenella
2 Cialdea Mayer, Marta
2 Cousot, Patrick
2 Cousot, Radhia
2 Couturier, Alain
2 Dagand, Pierre-Evariste
2 Doligez, Damien
2 Dubois, Catherine
2 Eisenberg, Richard A.
2 Feret, Jérôme
2 Fèvre, Stéphane
2 Findler, Robert Bruce
2 Fischer, Sebastian
2 Fournet, Cédric
2 Genet, Thomas
2 Gordon, Andrew D.
2 Grobauer, Bernd
2 Gross, Jason
2 Hickey, Jason J.
2 Hirschkoff, Daniel
2 Hofmann, Martin
2 Hymans, Charles
2 Jean-Baptiste, G.
2 Jeannin, Jean-Baptiste
2 Jourdan, Jacques-Henri
2 Kavkler, Iztok
2 Keller, Chantal
2 King, Tim
2 Kozen, Dexter C.
2 Larchey-Wendling, Dominique
2 Magaud, Nicolas
2 Magron, Victor
2 Mauborgne, Laurent
2 Miné, Antoine
2 Myreen, Magnus O.
2 Nakata, Keiko
2 Nogin, Aleksey
2 Norrish, Michael
2 Padovani, Luca
2 Park, Sungwoo
2 Peskine, Gilles
2 Petit, Barbara
2 Peyton Jones, Simon L.
2 Pierce, Benjamin C.
2 Pous, Damien
2 Rival, Xavier
2 Rossberg, Andreas
2 Roşu, Grigore
2 Rusu, Vlad
2 Sarkar, Susmit
2 Serjantov, Andrei
2 Silva, Alexandra
2 Stone, Christopher A.
2 Strniša, Rok
...and 373 more Authors
all top 5

Cited in 43 Serials

21 Journal of Functional Programming
8 Theoretical Computer Science
7 Journal of Automated Reasoning
5 Science of Computer Programming
5 MSCS. Mathematical Structures in Computer Science
5 Higher-Order and Symbolic Computation
3 Undergraduate Topics in Computer Science
2 Journal of Symbolic Computation
2 New Generation Computing
2 Journal of Logic and Computation
2 Computational Geometry
2 RAIRO. Theoretical Informatics and Applications
2 Fundamenta Informaticae
2 The Journal of Logic and Algebraic Programming
2 Journal of Software
2 Lecture Notes in Computer Science
2 Journal of Logical and Algebraic Methods in Programming
1 Computer Physics Communications
1 ACM Transactions on Mathematical Software
1 Applied Mathematics and Computation
1 Journal of Computer and System Sciences
1 Programming and Computer Software
1 Software. Practice & Experience
1 Annals of Pure and Applied Logic
1 Physica D
1 Information and Computation
1 International Journal of Approximate Reasoning
1 Formal Aspects of Computing
1 Discrete Event Dynamic Systems
1 Computational Statistics and Data Analysis
1 Formal Methods in System Design
1 Journal of Applied Non-Classical Logics
1 Nordic Journal of Computing
1 Annals of Mathematics and Artificial Intelligence
1 Parallel Algorithms and Applications
1 Journal of the ACM
1 The Journal of Functional and Logic Programming
1 Journal of Universal Computer Science
1 Theory and Practice of Logic Programming
1 Sādhanā
1 Logical Methods in Computer Science
1 Cahiers de Logique et d’Épistémologie
1 Références Sciences

Citations by Year