A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog.

Thomas Strder, Fabian Emmes, Peter Schneider-Kamp, Jrgen Giesl, Carsten Fuhs

Browse the full LOPSTR paper archive.