Design, Implementation and Calculation of Circular Programs, Fachbücher von João Fernandes

Das Buch "Design, Implementation and Calculation of Circular Programs" bietet eine umfassende Untersuchung der Technik des zirkulären Programmierens. Diese Methode ermöglicht es, mehrere Traversierungsalgorithmen als eine einzige Traversierungsfunktion in einem faulen Evaluierungsansatz auszudrücken. Zirkuläre Programme können zirkuläre Definitionen enthalten, bei denen die Argumente von Funktionsaufrufen auch Ergebnisse desselben Aufrufs sind. Während solche Definitionen unter strengen Evaluierungsmechanismen zu einer Nichtbeendbarkeit führen können, ermöglicht eine faule Evaluierungsstrategie manchmal eine sofortige Auswertung. Der Autor, João Fernandes, erläutert, wie Programmierende durch diese Technik die Definition und Planung verschiedener Traversierungsfunktionen vereinfachen können, indem sie sich nur auf eine einzige Traversierungsfunktion konzentrieren. Das Buch richtet sich an Fachleute und Studierende, die ein tieferes Verständnis für zirkuläres Programmieren und dessen Implementierung erlangen möchten.