Certified Symbolic Management of Financial Multi-party Contracts

Keyphrases

• Algebraic Properties 50%
• Automation Level 50%
• Contract Analysis 50%
• Contract Language 50%
• Contract Management 100%
• Contract-based 50%
• Denotational Semantics 100%
• Domain Analysis 50%
• Domain-specific Languages 100%
• Financial Contracts 50%
• Financial Domain 50%
• Financial Institutions 50%
• Haskell 50%
• Inference Methods 50%
• Management Functionality 50%
• Management Software 50%
• Multi-party Contracts 100%
• Numeric Methods 50%
• Principle of Causality 50%
• Proof Assistants 50%
• Reduction Semantics 50%
• Software Vulnerability 50%
• Type Inference 50%
• Type Systems 50%

Computer Science

• Denotational Semantics 100%
• Domain-specific languages 100%
• Formalization 50%
• Management Software 50%
• Symbolic Management 100%
• Type Inference 50%
• Type Systems 50%