![Denotational semantics / Contract law / Software engineering / Type safety / Symbol / Forward contract / Contract / Futures contract / Derivative / Theoretical computer science / Programming language semantics / Logic in computer science Denotational semantics / Contract law / Software engineering / Type safety / Symbol / Forward contract / Contract / Futures contract / Derivative / Theoretical computer science / Programming language semantics / Logic in computer science](https://www.pdfsearch.io/img/93c2e22be92ec29a7149ad2a63cc93d2.jpg) Date: 2015-04-10 04:24:17Denotational semantics Contract law Software engineering Type safety Symbol Forward contract Contract Futures contract Derivative Theoretical computer science Programming language semantics Logic in computer science | | Towards Certified Management of Financial Contracts∗ Patrick Bahr, Jost Berthold and Martin Elsman University of Copenhagen Dept. of Computer Science (DIKU) {paba,berthold,mael}@di.ku.dkAdd to Reading ListSource URL: hiperfit.dkDownload Document from Source Website File Size: 297,07 KBShare Document on Facebook
|