Synthetic aperture side-scan sonar (SAS) is an imaging modality for detecting objects on the sea floor and in shallow water. SAS images provide an echo of an object along with its...
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...