Look Ma, Backtracking without Recursion Dedicated to my colleague Ruurd Kuiper, on the occasion of his retirement

Tom Verhoeff (Corresponding author)

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

3 Citaten (Scopus)
51 Downloads (Pure)

Samenvatting

I show how backtracking can be discovered naturally without using a recursive function (nor using a loop with an explicit stack). Rather, my approach involves a form of self application that can be elegantly expressed in an object-oriented program, and that is reminiscent of how recursion is done in lambda calculus. It also illustrates why reasoning about object-oriented pro- grams can be hard.
Originele taal-2Engels
Pagina's (van-tot)119-132
Aantal pagina's14
TijdschriftOlympiads in Informatics
Volume15
DOI's
StatusGepubliceerd - 10 jun. 2021
EvenementInternational Olympiad in Informatics (IOI) Conference 2021 - Virtual, Singapore, Singapore
Duur: 21 jun. 202121 jun. 2021
https://ioi2021.sg/ioi-conference/

Bibliografische nota

T. Verhoeff is Assistant Professor in Computer Science at Eindhoven University of Technology, where he works in the group Software En- gineering & Technology. His research interests are support tools for verified software development and model driven engineering. He re- ceived the IOI Distinguished Service Award at IOI 2007 in Zagreb, Croatia, in particular for his role in setting up and maintaining a web archive of IOI-related material and facilities for communication in the IOI community, and in establishing, developing, chairing, and contrib- uting to the IOI Scientific Committee from 1999 until 2007.

Vingerafdruk

Duik in de onderzoeksthema's van 'Look Ma, Backtracking without Recursion Dedicated to my colleague Ruurd Kuiper, on the occasion of his retirement'. Samen vormen ze een unieke vingerafdruk.

Citeer dit