Conference Proceedings

Termination analysis with types is more accurate

V Lagoon, F Mesnard, PJ Stuckey, C Palamidessi

Logic Programming | SPRINGER-VERLAG BERLIN | Published : 2003