Computable Contracts

CDL Contractnet Demonstration

Computable Contracts

A contract is an agreement by parties creating mutual obligations that are enforceable by law. A computable contract is one that is specified in sufficient detail to provide unambiguous answers to questions about compliance of clearly specified circumstances with the terms and conditions of the contract. From a pragmatic point of view, computable contracts are useful as the basis for computer systems capable of automated compliance management.


The goals of the CodeX Computable Contracts Project (CompK) include the deisgn of a suitable contract definition language (CDL), the creation of an ecosystem for computable contracts (Contractnet) encoded in this language, and a demonstration of its efficacy in a contract-oriented industry, such as insurance (Demonstration).

Comments and complaints to