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 all top 5 Cited in 16 Fields 250 Computer science (68-XX) 43 Mathematical logic and foundations (03-XX) 8 Numerical analysis (65-XX) 6 General and overarching topics; collections (00-XX) 4 Operations research, mathematical programming (90-XX) 3 Information and communication theory, circuits (94-XX) 2 Convex and discrete geometry (52-XX) 2 Statistics (62-XX) 2 Systems theory; control (93-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Geometry (51-XX) 1 Differential geometry (53-XX) 1 Biology and other natural sciences (92-XX) Citations by Year