Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages.
Jürgen GieslStephan SwiderskiPeter Schneider-KampRené ThiemannPublished in: RTA (2006)
Keyphrases
- programming language
- term rewriting
- termination analysis
- active rules
- active databases
- theorem proving
- theorem prover
- object oriented
- general purpose
- operational semantics
- software engineering
- denotational semantics
- object oriented programming
- logic programming
- functional programming
- high level
- functional language
- object oriented databases
- integrity constraints
- lambda calculus
- deductive databases
- formal semantics
- software architecture
- artificial intelligence
- database