A Devil's Advocate against Termination of Direct Recursion
Beitrag zu einer Konferenz
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Softwaretechnik und ProgrammiersprachenPublisher
1515 BROADWAY, NEW YORK, NY 10036-9998 USA : ASSOC COMPUTING MACHINERY
ISBN
978-1-4503-3516-4
Published in
PROCEEDINGS OF THE 17TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2015). - 1515 BROADWAY, NEW YORK, NY 10036-9998 USA : Assoc. for Computing Machinery, 2015. - S. 103-113. - ISBN 978-1-4503-3516-4
Link to publication
https://dx.doi.org/10.1145/2790449.2790518Conference
17th International Symposium on Principles and Practice of Declarative Programming, 2015-07-14 - 2015-07-16, Siena