Formal Language for Analyzing Contracts

Tue Jun 4 12:40:49 UTC 2002

Nick Szabo has written a preliminary draft of a paper discussing a
programming-like language to analyze contracts. Among other things, he uses
a contract from Genoa, written June 23 in 1271, to demonstrate how it would
apply to damage clauses.

http://szabo.best.vwh.net/contractlanguage.html

--

Apple Macintosh Technical Support in New York City
gbarrett at worldnewyork.org
http://www.worldnewyork.org/
646 296 2260