View Document Preview and Link Document Date: 2015-04-10 04:24:17 Open Document File Size: 297,07 KB Share Result on Facebook
Company SimCorp / LexiFi / Towards Certified Management / / Currency USD / / / Facility HIPERFIT Research Center / Martin Elsman University of Copenhagen Dept. / / IndustryTerm software quality / type scribing financial products / Financial software / software / / Organization Danish Council for Independent Research / Danish Council for Strategic Research / Martin Elsman University of Copenhagen Dept. of Computer Science / HIPERFIT Research Center in Copenhagen / / Person S. Peyton Jones / Patrick Bahr / / Position Coq proof assistant / / ProgrammingLanguage Haskell / Fortran / / Technology functional programming / http / / URL http / SocialTag 
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.dk