The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language.
Neil SculthorpeAndrew FarmerAndy GillPublished in: IFL (2012)
Keyphrases
- computer programs
- programming environment
- functional programs
- intended meaning
- programming language
- tree structure
- language learning
- declarative semantics
- program execution
- neural network
- tree structures
- concurrent programming
- semantically equivalent
- tree nodes
- tree construction
- deductive databases
- logic programming
- static analysis
- knowledge representation
- natural language