Executable calculational specifications

Keyphrases

• Calculational Style 100%
• High-order Features 50%
• Open Source Code 50%
• Pattern Matching 50%
• Quantifier Expressions 50%
• Formal Style 50%
• Higher-order Computation 50%
• Symbolic Manipulation 50%
• Haskell 50%
• Haskell Library 50%
• Relational Data 50%
• Existential Quantification 50%

INIS

• implementation 100%
• specifications 100%
• data 66%
• programming languages 66%
• tools 33%
• libraries 33%
• processing 33%
• verification 33%
• calculation methods 33%

Computer Science

• Programming Language 100%
• Specification Language 50%
• Data Type 50%
• Pattern Matching 50%
• Open Source Code 50%
• Relational Data 50%