Dissecting Widening: Separating Termination from Information

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-34175-6_6 ◽

2019 ◽

pp. 95-114

Author(s):

Graeme Gange ◽

Jorge A. Navas ◽

Peter Schachte ◽

Harald Søndergaard ◽

Peter J. Stuckey

Download Full-text