Skip to search formSkip to main contentSkip to account menu

OCaml

Known as: Objective CAML, MetaOCaml, O’Caml 
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… 
Wikipedia

Related topics

Related topics

50 relations
Abstract machineApache HadoopBinary treeBounds 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
This article presents a resource analysis system for OCaml programs. The system automatically derives worst-case resource bounds… 
Highly Cited
2016
Highly Cited
2016
Formal Verification of Smart Contracts: Short Paper
Ethereum is a framework for cryptocurrencies which uses blockchain technology to provide an open global computing platform… 
2016
2016
Eff Directly in OCaml
The language Eff is an OCaml-like language serving as a prototype implementation of the theory of algebraic effects, intended for… 
Review
2013
Review
2013
The OCaml system release 4.07: Documentation and user's manual
This manual documents the release 4.07 of the OCaml system. It is organized as follows. Part I, "An introduction to OCaml", gives… 
Highly Cited
2012
Highly Cited
2012
Automatic predicate abstraction of C programs
Model checking has been widely successful in validating and debugging designs in the hardware and protocol domains. However… 
Review
2003
Review
2003
DSL Implementation in MetaOCaml, Template Haskell, and C++
A wide range of domain-specific languages (DSLs) has been implemented successfully by embedding them in general purpose languages… 
Highly Cited
2002
Highly Cited
2002
Rethinking the Computer Music Language: SuperCollider
ion Description and Purpose Variable names Provide human readable names to data addresses Function names Provide human readable… 
Highly Cited
2002
Highly Cited
2002
Boolean and Cartesian abstraction for model checking C programs
We show how to attack the problem of model checking a C program with recursive procedures using an abstraction that we formally… 
Highly Cited
1999
Highly Cited
1999
Jocaml: mobile agents for Objective-Caml
Jocaml is a system for mobile agents built inside the Objective-Caml language. Jocaml eases the development of concurrent… 
Highly Cited
1998
Highly Cited
1998
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools
A formal language CCSL is introduced for describing specifications of classes in object-oriented languages. We show how class… 
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