Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs.
Andrew FarmerNeil SculthorpeAndy GillPublished in: Haskell (2015)
Keyphrases
- tool support
- software development
- software tools
- software projects
- design decisions
- software engineering
- knowledge base
- requirements engineering
- reasoning systems
- data sets
- computer programs
- test suite
- reasoning tasks
- multi agent
- knowledge representation
- artificial intelligence
- legal reasoning
- finite state machines
- description logics
- trade off