Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,816,838 papers from all fields of science
Search
Sign In
Create Free Account
OCaml
Known as:
Objective CAML
, MetaOCaml
, O’Caml
Expand
OCaml (/oʊˈkæməl/ oh-KAM-əl), originally known as Objective Caml, is the main implementation of the Caml programming language, created by Xavier…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract machine
Apache Hadoop
Binary tree
Bounds checking
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Towards automatic resource bound analysis for OCaml
Jan Hoffmann
,
Ankush Das
,
Shu-Chun Weng
POPL
2016
Corpus ID: 11921337
This article presents a resource analysis system for OCaml programs. The system automatically derives worst-case resource bounds…
Expand
Highly Cited
2016
Highly Cited
2016
Formal Verification of Smart Contracts: Short Paper
K. Bhargavan
,
Antoine Delignat-Lavaud
,
+8 authors
Santiago Zanella Béguelin
PLAS@CCS
2016
Corpus ID: 1185106
Ethereum is a framework for cryptocurrencies which uses blockchain technology to provide an open global computing platform…
Expand
2016
2016
Eff Directly in OCaml
O. Kiselyov
,
K. Sivaramakrishnan
ML/OCAML
2016
Corpus ID: 31554739
The language Eff is an OCaml-like language serving as a prototype implementation of the theory of algebraic effects, intended for…
Expand
Review
2013
Review
2013
The OCaml system release 4.07: Documentation and user's manual
X. Leroy
,
Damien Doligez
,
Alain Frisch
,
Jacques Garrigue
,
Didier Rémy
,
Jérôme Vouillon
2013
Corpus ID: 86551477
This manual documents the release 4.07 of the OCaml system. It is organized as follows. Part I, "An introduction to OCaml", gives…
Expand
Highly Cited
2012
Highly Cited
2012
Automatic predicate abstraction of C programs
T. Ball
,
R. Majumdar
,
T. Millstein
,
S. Rajamani
SIGP
2012
Corpus ID: 8417263
Model checking has been widely successful in validating and debugging designs in the hardware and protocol domains. However…
Expand
Review
2003
Review
2003
DSL Implementation in MetaOCaml, Template Haskell, and C++
K. Czarnecki
,
J. O'Donnell
,
J. Striegnitz
,
Walid M. Taha
Domain-Specific Program Generation
2003
Corpus ID: 3252696
A wide range of domain-specific languages (DSLs) has been implemented successfully by embedding them in general purpose languages…
Expand
Highly Cited
2002
Highly Cited
2002
Rethinking the Computer Music Language: SuperCollider
J. McCartney
Computer Music Journal
2002
Corpus ID: 30952359
ion Description and Purpose Variable names Provide human readable names to data addresses Function names Provide human readable…
Expand
Highly Cited
2002
Highly Cited
2002
Boolean and Cartesian abstraction for model checking C programs
T. Ball
,
A. Podelski
,
S. Rajamani
International Journal on Software Tools for…
2002
Corpus ID: 6860114
We show how to attack the problem of model checking a C program with recursive procedures using an abstraction that we formally…
Expand
Highly Cited
1999
Highly Cited
1999
Jocaml: mobile agents for Objective-Caml
S. Conchon
,
F. L. Fessant
Proceedings. First and Third International…
1999
Corpus ID: 14355301
Jocaml is a system for mobile agents built inside the Objective-Caml language. Jocaml eases the development of concurrent…
Expand
Highly Cited
1998
Highly Cited
1998
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools
U. Hensel
,
M. Huisman
,
B. Jacobs
,
H. Tews
ESOP
1998
Corpus ID: 15859498
A formal language CCSL is introduced for describing specifications of classes in object-oriented languages. We show how class…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE