Automatic Termination Analysis for Functional and Imperative Programs
Series: Dissertations in Artificial Intelligence-Infix, 207
Publisher: Ios Pr Inc
Published: February 1999
Language: eng
Format: Paperback
Number of pages: 244
ISBN-13: 9781586031138
Subjects: Programming - General; Computers; Computer Books: General