Automated Termination Analysis: From Term Rewriting to Programming Languages.
Jürgen GieslPublished in: Software Engineering (Workshops) (2013)
Keyphrases
- programming language
- term rewriting
- termination analysis
- operational semantics
- denotational semantics
- active rules
- active databases
- theorem proving
- object oriented
- theorem prover
- general purpose
- strongly typed
- software engineering
- high level
- logic programming
- lambda calculus
- integrity constraints
- relational databases
- data structure