Termination Analysis of Higher-Order Functional Programs.

Damien Sereni Neil D. Jones

Published in: APLAS (2005)

Keyphrases

functional programs
termination analysis
active rules
active databases
functional language
logic programs
execution model
functional programming
object oriented databases
data streams
fine grained
integrity constraints
mobile computing