The author presents a mini-language for professionals and researchers interested in drafting and analyzing contracts. It is intended for computers to read, too. The main purpose of this language is to, as unambiguously and completely and succinctly as possible, specify common contracts or contractual terms. These include financial contracts, liens and other kinds of security, transfer of ownership, performance of online services, and supply chain workflow.
Tuesday, July 8, 2008
A Formal Language for Analyzing Contracts
A Formal Language for Analyzing Contracts
Subscribe to:
Post Comments (Atom)
Posts
No comments:
Post a Comment