TEA: Automatically proving termination of programs in a non-strict higher-order functional language (1997)

Cached

Download Links

by Sven Eric Panitz , Manfred Schmidt-Schauß
Venue:IN PROC. 4TH INT. STATIC ANALYSIS SYMP
Citations:12 - 0 self