4 ms·

Do you know if there is anyone working on declarative contracts? I was thinking that at least some sort of declarative way of bounding the contract's behavior m

• Animats 10y ago
  Lots of people are working on declarative contracts. Here's an overview.[1] That paper has a set of desirable properties for a contract language, and analyzes some of the existing ones against those properties. Here's a contract language from 2002.[2] The author expresses various common contracts, and some not so common, in it. This is reasonably readable. If you like logic formalism, there's this.[3] Financial companies would like to have their contracts, especially derivatives, in a form suitable for running risk analyses and various scenarios. You'd like to be able to form queries like "Suppose X misses their payments for the next quarter? What does that trigger?" Some of the 2008 financial debacle came from the inability to ask questions like that. [1] https://www.semanticscholar.org/paper/A-Survey-of-Formal-Languages-for-Contracts-Hvitved/500276c957028a65503c4b13214515c07abd5d93/pdf https://www.semanticscholar.org/paper/A-Survey-of-Formal-Lan... [2] http://szabo.best.vwh.net/contractlanguage.html http://szabo.best.vwh.net/contractlanguage.html [3] http://www.cse.chalmers.se/~gersch/slides-talks/slides-CL-ModelChecking.pdf http://www.cse.chalmers.se/~gersch/slides-talks/slides-CL-Mo...
  • grandalf 10y ago
    Thanks much!