The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?.
Jean-Marc EberPublished in: ESOP (2009)
Keyphrases
- programming language
- domain specific languages
- specification language
- high level
- object oriented
- general purpose
- financial crisis
- software engineering
- programming tool
- programming environment
- denotational semantics
- computer programs
- object relational mapping
- strongly typed
- artificial intelligence
- early warning
- formal specification
- high level programming language
- exception handling
- functional programming
- evaluation method
- management system
- database systems
- concurrent programming
- database