Advanced

Computational Cost of Verifying Enforceable Contracts

Holm, Jerker LU (1995) In International Review of Law and Economics 15(2). p.127-140
Abstract
This paper explores a new method for evaluating the cost of verifying a contract. We relate these costs to the number of computations an algorithm needs to check that a contract satisfies certain criteria. Two different criteria that facilitate enforcement of the contract are studied. Our findings indicate bounds on the computational costs as the size of the contract grows. If each computation costs the same, then the marginal cost of increasing the size of the contract is at most linearly increasing and at least constant for the two criteria.
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Contribution to journal
publication status
published
subject
in
International Review of Law and Economics
volume
15
issue
2
pages
127 - 140
publisher
Elsevier
external identifiers
  • scopus:58149364617
ISSN
0144-8188
DOI
10.1016/0144-8188(94)00012-J
language
English
LU publication?
yes
id
1366fd19-44e6-4499-820d-654654d872f8 (old id 1387259)
date added to LUP
2009-04-20 12:27:25
date last changed
2017-01-01 04:50:16
@article{1366fd19-44e6-4499-820d-654654d872f8,
  abstract     = {This paper explores a new method for evaluating the cost of verifying a contract. We relate these costs to the number of computations an algorithm needs to check that a contract satisfies certain criteria. Two different criteria that facilitate enforcement of the contract are studied. Our findings indicate bounds on the computational costs as the size of the contract grows. If each computation costs the same, then the marginal cost of increasing the size of the contract is at most linearly increasing and at least constant for the two criteria.},
  author       = {Holm, Jerker},
  issn         = {0144-8188},
  language     = {eng},
  number       = {2},
  pages        = {127--140},
  publisher    = {Elsevier},
  series       = {International Review of Law and Economics},
  title        = {Computational Cost of Verifying Enforceable Contracts},
  url          = {http://dx.doi.org/10.1016/0144-8188(94)00012-J},
  volume       = {15},
  year         = {1995},
}