Automatic termination analysis for functional and imperative programs
By: Jürgen Brauburger.
Series: Dissertationen zur künstlichen Intelligenz -- 207
Publisher: Infix
Published: 1999
Place of publication: Sankt Augustin
Language: eng
Number of pages: 244
Subjects: Computer programs -- Termination.; Computer programs -- Testing -- Mathematics.; Functional programming (Computer science)
Notes: Dissertation.

Includes bibliographical references and index.